Autres éditions populaires du même titre
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
Hyperion Books
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0273087819I5N00
Acheter D'occasion
EUR 16,85
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
Edité par
John Wiley & Sons, 1988
ISBN 10 : 0273087819
ISBN 13 : 9780273087816
Ancien ou d'occasion
Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ZB1348498
Acheter D'occasion
EUR 24,79
Expédition à EUR 3,89
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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
Acheter D'occasion
EUR 25
Expédition à EUR 47,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
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
Acheter D'occasion
EUR 116,60
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)