ISBN: 9780273087816 - automated theorem-proving in non-classical logics (4 risultati)
- Brossura
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 17,09
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Paperback. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Brossura
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 13,05
EUR 4,01 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: Very Good. 154 pp., paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
- Brossura
Da: Antiquariat Haufe & Lutz, Karlsruhe, BW, GermaniaAntiquariat Haufe & Lutz
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 25,00
EUR 47,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar.
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Meyer Robert, K., A. McRobbie Michael and B. Thistlewaite Paul:
- Brossura
Da: Studibuch, Stuttgart, GermaniaStudibuch
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 38,47
EUR 80,70 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
paperback. Condizione: Gut. 154 Seiten; 9780273087816.3 Gewicht in Gramm: 500.
