Logic for Computer Science - 9780486780825
Un libro in lingua di Gallier Jean H. edito da Dover Pubns, 2015
- € 29.50
- Il prezzo è variabile in funzione del cambio della valuta d’origine
Informazioni bibliografiche
- Titolo del Libro in lingua: Logic for Computer Science
- Sottotitolo: Foundations of Automatic Theorem Proving
- Lingua: English
- Autore: Gallier Jean H.
- Editore: Dover Pubns
- Collana: Dover Pubns (Paperback)
- Data di Pubblicazione: 18 Giugno '15
- Genere: MATHEMATICS
- Argomenti : Automatic theorem proving Logic, Symbolic and mathematical MATHEMATICS / Logic. bisacs
- Pagine: 496
- Peso gr: 747
- Dimensioni mm: 228 x 152 x 38
- EAN-13: 9780486780825