9783540120445 - automation of reasoning: classical papers on computational logic 1967-1970: 2 (1 risultati)

ISBN:

Perfeziona con la Ricerca avanzata

Automation of Reasoning: 2: Classical Papers on Computational Logic 19671970 (Symbolic Computation, Band 2)
Lingua: Inglese
Editore: Springer 1983
3540120440 / 9783540120445
- Rilegato
Da: Buchmarie, Darmstadt, , GermaniaBuchmarie
Venditore con 4 stelle
Contatta il venditore
Condizione: Usato - Buono
EUR 197,70
EUR 42,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Condizione: Good. Cover leicht verschmutzt. Buchschnitt leicht verschmutzt. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet.