Automated Reasoning - R. Gore, A. Leitsch, T. Nipkow - Springer, 2001
Automated Reasoning - R. Gore, A. Leitsch, T. Nipkow - Springer, 2001 | Libri antichi e moderni |
Libri antichi e moderni
Automated Reasoning - R. Gore, A. Leitsch, T. Nipkow - Springer, 2001
Automated Reasoning - R. Gore, A. Leitsch, T. Nipkow - Springer, 2001 | Libri antichi e moderni |
Libri antichi e moderni
156,00 €
(Fiumefreddo di Sicilia,
Italia)
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
Dettagli
- ISBN
- 9783540422549
- Soggetto
- libri in lingua inglese
- Sovracoperta
- False
- Stato di conservazione
- Buono
Descrizione
Automated Reasoning - R. Gore, A. Leitsch, T. Nipkow - Springer, 2001
