Importo totale (1 articolo articoli):
Destinazione ordine:
9780486780825 - Logic for Computer Science: Foundations of Automatic Theorem Proving: Foundations of Automatic Theorem Proving, Second Edition di Gallier, Jean H. (4 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (4)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (2)
- Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
- Molto buono o Buono (1)
- Discreto o Mediocre (1)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (4)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (2)
- Non Print on Demand (4)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
EUR 22,58
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Brand New.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Libro 19 di 19: Dover Books on Computer ScienceDa: Goodwill Southern California, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: acceptable.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Libro 19 di 19: Dover Books on Computer ScienceDa: Book Express (NZ), Shannon, Nuova Zelanda
Valutazione del venditore 4 su 5 stelle
EUR 8,28
Spedizione EUR 26,74
Spedito da Nuova Zelanda a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. 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.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Libro 19 di 19: Dover Books on Computer ScienceDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,30
Spedizione EUR 14,47
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock.
