Libri di Gilles Dowek
Tutti i risultati (8)
-
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999Libri in Inglese | MathematicsDisp. in 2 settimane67,90 € -
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,40 € -
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Venditore: Feltrinelli67,10 € -
Principles of Programming Languages
Venditore: Feltrinelli48,30 € -
The Age of Algorithms
Venditore: FeltrinelliCambridge University Press, 2020Libri in Inglese | Science, Computer & TechnologyDisp. in 5 gg lavorativi21,24 € -
Proofs and Algorithms: An Introduction to Logic and Computability
Venditore: Feltrinelli50,40 € -
Introduction to the Theory of Programming Languages
Venditore: Feltrinelli50,70 € -
Computation, Proof, Machine: Mathematics Enters a New Age
Venditore: Feltrinelli133,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.
