Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Leitsch Alexander)
Results:4items
Methods of Cut-Elimination / by Matthias Baaz, Alexander Leitsch
1st ed. 2011.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2011). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 34)
E-Book
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 713)
Automated Model Building / by Ricardo Caferra, Alexander Leitsch, Nicolas Peltier
1st ed. 2004.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2004). - (Applied Logic Series ; 31)
Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
713. - Berlin : Springer , c1993.. - (Lecture notes in computer science ; 713)
Books