Alexander Leitsch

ספרים שבהם Alexander Leitsch מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Computational logic and proof theoryKurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Computational logic and proof theory

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) · 1993

Automated Model BuildingRicardo Caferra

Automated Model Building

Ricardo Caferra · 2004