Articoli correlati a Automated Theorem-proving in Non-classical Logics
- EditoreFT Prentice Hall
- Data di pubblicazione1988
- ISBN 10 0273087819
- ISBN 13 9780273087816
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine154
- Contatto del produttorenon disponibile
Compra usato
Condizioni: molto buonoAutomated Theorem-proving in Non-classical...
Visualizza questo articolo
EUR 10,62
EUR 8,96 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Automated Theorem-proving in Non-classical Logics
Foto dell'editore
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Very Good. Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Codice articolo 7719-9780273087816
Quantità: 1 disponibili
Foto dell'editore
Automated Theorem-proving in Non-classical Logics
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-122-195
Quantità: 1 disponibili
Foto dell'editore
Automated Theorem-proving in Non-classical Logics
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-122-194
Quantità: 1 disponibili
Immagini fornite dal venditore
Automated Theorem-proving in Non-classical Logics. Research notes in theoretical computer science;
Editore:
Wiley & Sons Inc.;, 1988
ISBN 10: 0273087819
ISBN 13: 9780273087816
Antico o usato
Broschiert
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: Gut. 154 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 300. Codice articolo 1519567
Quantità: 1 disponibili
Foto dell'editore
Automated theorem-proving in non-classical logics.
Da: Antiquariat Haufe & Lutz, Karlsruhe, BW, Germania
Valutazione del venditore 4 su 5 stelle
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch. Codice articolo 87465CB
Quantità: 1 disponibili
Immagini fornite dal venditore
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. 154 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 248 23,9 x 16,8 x 1,0 cm, Taschenbuch. Codice articolo 388350
Quantità: 1 disponibili