9780486780825 - logic for computer science: foundations of automatic theorem proving: foundations of automatic theorem proving, second edition di gallier, jean h. (4 risultati)
Lingua: Inglese
Editore: Dover Publishers 2015
Serie: Dover Books on Computer Science, Libro 19 di 19. Libro 19 di 19 - Dover Books on Computer Science
- Brossura
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 22,75
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New.
Lingua: Inglese
Editore: Dover Publications 2015
Serie: Dover Books on Computer Science, Libro 19 di 19. Libro 19 di 19 - Dover Books on Computer Science
- Brossura
Da: Goodwill Southern California, Los Angeles, CA, U.S.A.Goodwill Southern California
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 21,50
EUR 2,61 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: acceptable.
Lingua: Inglese
Editore: Dover Publications 2015
Serie: Dover Books on Computer Science, Libro 19 di 19. Libro 19 di 19 - Dover Books on Computer Science
- Brossura
Da: Book Express (NZ), Shannon, Nuova ZelandaBook Express (NZ)
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 8,27
EUR 26,94 spedizioneSpedito da Nuova Zelanda a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. 528 pages. This advanced text for undergraduate and graduate students introduces mathema tical logic with an emphasis on proof theory and procedures for algorithmic cons truction of formal proofs. The self-contained treatment is also useful for compu.
Lingua: Inglese
Editore: Dover Pubns 2015
Serie: Dover Books on Computer Science, Libro 19 di 19. Libro 19 di 19 - Dover Books on Computer Science
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,24
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock.
