Libri di Alexander Leitsch
Tutti i risultati (6)
-
Methods of Cut-Elimination
Venditore: Feltrinelli132,20 € -
Automated Model Building
Venditore: Feltrinelli211,80 € -
The Resolution Calculus
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | MathematicsDisp. in 2 settimane68,30 € -
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,00 € -
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | MathematicsDisp. in 2 settimane67,60 € -
Automated Model Building
Venditore: Feltrinelli206,80 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
