Leitsch, Alexander books & textbook
Automated Model Building (Applied Logic Series)
Caferra, Ricardo Leitsch, Alexander Peltier, Nicolas
Springer /2010-12-05 Paperback / 352 Pages
isbn-10: 9048166969 / isbn-13: 9789048166961
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)
Gottlob, Georg Leitsch, Alexander Mundici, Daniele
Springer /1993-08-13 Paperback / 365 Pages
isbn-10: 3540571841 / isbn-13: 9783540571841
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Gottlob, Georg Leitsch, Alexander Mundici, Daniele
Springer /1997-08-13 Paperback / 364 Pages
isbn-10: 3540633855 / isbn-13: 9783540633853
Methods of Cut-Elimination (Trends in Logic, 34)
Baaz, Matthias Leitsch, Alexander
Springer /2013-02-25 Paperback / 296 Pages
isbn-10: 9400734972 / isbn-13: 9789400734975
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
Springer /2011-09-28 Paperback / 308 Pages
isbn-10: 3642644732 / isbn-13: 9783642644733
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083)
Gore, Rajeev Leitsch, Alexander Nipkow, Tobias
Springer /2001-06-06 Paperback / 725 Pages
isbn-10: 3540422544 / isbn-13: 9783540422549
MMO News - Dein MMORPG-Podcast
Alexander ”Sputti” Leitsch Mark Sellner
Alexander ”Sputti” Leitsch, Mark Sellner /2023-01-06 Podcast
