Articles liés à Automated Theorem-proving in Non-classical Logics
Acheter D'occasion
état : Assez bonAutomated Theorem-proving in Non-classical...
Afficher cet article
EUR 10,41
EUR 3,50 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Automated Theorem-proving in Non-classical Logics
Image d'archives
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Edité par
FT Prentice Hall
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
paperback
Vendeur : AwesomeBooks, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : 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 réf. du vendeur 7719-9780273087816
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Theorem-proving in Non-classical Logics
Edité par
FT Prentice Hall, 1988
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : 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 réf. du vendeur G-122-195
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Theorem-proving in Non-classical Logics
Edité par
FT Prentice Hall, 1988
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : 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 réf. du vendeur G-122-194
Quantité disponible : 1 disponible(s)
Image d'archives
Automated theorem-proving in non-classical logics.
Edité par
London, Pitman., 1988
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Haufe & Lutz, Karlsruhe, BW, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch. N° de réf. du vendeur 87465CB
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Edité par
FT Prentice Hall, 1988
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 388350
Quantité disponible : 1 disponible(s)