Libri UniversitariJohn Harrison – Handbook of Practical Logic and Automated Reasoning
Libro adottato a Firenze, a.a. 2026/2027 · 1 canale
«John Harrison – Handbook of Practical Logic and Automated Reasoning» è adottato per Geometria Computazionale Simbolica dal prof. Marco Maggesi (Matematica – Firenze).
John Harrison – Handbook of Practical Logic and Automated ReasoningCerca su Amazon ›
Come lo indica il docente: John Harrison, "Handbook of Practical Logic and Automated Reasoning" Cambridge University Press, 2009
- Titolo
- Handbook of practical logic and automated reasoning
- Autori
- John Harrison
- Editore
- Cambridge university press, 2009
- ISBN
- 9780521899574
Chi lo adotta
- Geometria Computazionale Simbolica – Prof. Marco Maggesi (canale unico)Matematica · Laurea magistrale (LM-40) · esame facoltativo · Applicativo · 9 CFU
Programma e testi di ogni canale
Geometria Computazionale Simbolica – Prof. Marco Maggesi Canale unico
Corso di laurea: Matematica · Laurea magistrale (LM-40) · esame facoltativo · Applicativo · 9 CFU
Il docente indica 2 testi · da studiare tutti
John Harrison – Handbook of Practical Logic and Automated Reasoningquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Robert – Some new results on decidability for elementary…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.