Artículos relacionados a Automated Theorem-proving in Non-classical Logics (Research...
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) - Tapa blanda
Resultados de la búsqueda para Automated Theorem-proving in Non-classical Logics (Research...
Imagen de archivo
Automated Theorem-proving in Non-classical Logics
Publicado por
FT Prentice Hall, 1988
ISBN 10: 0273087819
ISBN 13: 9780273087816
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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. Nº de ref. del artículo: G-122-195
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem-proving in Non-classical Logics
Publicado por
FT Prentice Hall, 1988
ISBN 10: 0273087819
ISBN 13: 9780273087816
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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. Nº de ref. del artículo: G-122-194
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Librería: AwesomeBooks, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: 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. . Nº de ref. del artículo: 7719-9780273087816
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated theorem-proving in non-classical logics.
Publicado por
London, Pitman., 1988
ISBN 10: 0273087819
ISBN 13: 9780273087816
Antiguo o usado
Tapa blanda
Librería: Antiquariat Haufe & Lutz, Karlsruhe, BW, Alemania
Calificación del vendedor: 4 de 5 estrellas
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch. Nº de ref. del artículo: 87465CB
Cantidad disponible: 1 disponibles
Imagen del vendedor
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Publicado por
FT Prentice Hall, 1988
ISBN 10: 0273087819
ISBN 13: 9780273087816
Antiguo o usado
Tapa blanda
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 388350
Cantidad disponible: 1 disponibles