Zum Inhalt springen

  1. Leitsch, Alexander [VerfasserIn]

    The resolution calculus

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Texts in theoretical computer science

  2. Gottlob, Georg [HerausgeberIn]; Leitsch, Alexander [HerausgeberIn]; Mundici, Daniele [HerausgeberIn] ; Kurt-Gödel-Gesellschaft, Kurt Gödel Colloquium 5 1997 Wien

    Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25 - 29, 1997; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Lecture notes in computer science ; 1289

  4. Caferra, Ricardo [VerfasserIn] ; Leitsch, Alexander [Sonstige Person, Familie und Körperschaft]; Peltier, Nicholas [Sonstige Person, Familie und Körperschaft]

    Automated Model Building

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dordrecht: Springer, 2004

    Erschienen in: Applied Logic Series ; 31- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  5. Goré, Rajeev [VerfasserIn] ; Leitsch, Alexander [Sonstige Person, Familie und Körperschaft]; Nipkow, Tobias [Sonstige Person, Familie und Körperschaft]

    Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2083

  6. Gottlob, Georg [VerfasserIn] ; Leitsch, Alexander [Sonstige Person, Familie und Körperschaft]; Mundici, Daniele [Sonstige Person, Familie und Körperschaft]

    Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1289

  7. Gottlob, Georg [VerfasserIn] ; Leitsch, Alexander [Sonstige Person, Familie und Körperschaft]; Mundici, Daniele [Sonstige Person, Familie und Körperschaft]

    Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

    Erschienen in: Lecture notes in computer science ; 713

  8. Leitsch, Alexander [VerfasserIn]; Reis, Giselle [VerfasserIn]; Woltzenlogel Paleo, Bruno [VerfasserIn] ; Alexander Leitsch and Giselle Reis and Bruno Woltzenlogel Paleo [MitwirkendeR]

    Towards CERes in intuitionistic logic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  9. Leitsch, Alexander

    Automated Deduction in Classical and Non-Classical Logics: Decision Procedures and Model Building or How to Improve Logical Information in Automated Deduction

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2000

    Erschienen in: Automated Deduction in Classical and Non-Classical Logics