Libri di Helmut Schwichtenberg
Tutti i risultati (9)
-
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Venditore: FeltrinelliWorld Scientific Publishing Co Pte Ltd, 2021Libri in Inglese | MathematicsDisponibilità in 2 settimane178,60 € -
Proof and Computation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,60 € -
Logic of Computation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,30 € -
Computational Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane210,80 € -
Computational Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane206,20 € -
Logic of Computation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane117,70 € -
Proof and System-Reliability
Venditore: Feltrinelli67,30 € -
Proof and System-Reliability
Venditore: Feltrinelli143,50 € -
Proofs and Computations
Venditore: Feltrinelli115,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.
