Articles liés à Automated Theorem-proving in Non-classical Logics
- ÉditeurFT Prentice Hall
- Date d'édition1988
- ISBN 10 0273087819
- ISBN 13 9780273087816
- ReliureBroché
- Langueanglais
- Nombre de pages154
Résultats de recherche pour Automated Theorem-proving in Non-classical Logics
Image fournie par le vendeur
Automated Theorem-proving in Non-classical Logics. Research notes in theoretical computer science;
Edité par
Wiley & Sons Inc.;, 1988
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : 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. N° de réf. du vendeur 1519567
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)