Yazar
Alexander Leitsch
6 cilt bulundu.
Alexander Leitsch · Springer Science+Business Media B.V.
296 sayfa · 2011
Mathematics / Symbolic and mathematical Logic / Computer science / Automatic theorem proving / Proof theory
Alexander Leitsch · Springer
300 sayfa · 1997
Automatic theorem proving / Théorie démonstration / Raffinement / Résolution problème / Théorèmes
Alexander Leitsch, Tobias Nipkow · Springer
708 sayfa · 2001
Computer logic / Congresses / Automatic theorem proving / Computers / Computer science
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier · Springer
344 sayfa · 2004
Architectural models / Automatic theorem proving / Applied logic series
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch · Springer-Verlag
354 sayfa · 1993
Automatic theorem proving / Congresses / Symbolic and mathematical Logic