Articles liés à A Many-Sorted Calculus Based on Resolution and Paramodulatio...
Résultats de recherche pour A Many-Sorted Calculus Based on Resolution and Paramodulatio...
Image d'archives
A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Not Es in Artificial Intelligence)
Edité par
Morgan Kaufman Publishers, 1987
ISBN 10 : 0273087185
ISBN 13 : 9780273087182
Ancien ou d'occasion
Paperback
Vendeur : BookDepart, Shepherdstown, WV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : UsedGood. Softcover; surplus library copy with the usual stampings; fading and shelf wear to exterior; otherwise in good condition with clean text, firm binding. N° de réf. du vendeur 67206
Acheter D'occasion
EUR 17,30
Expédition à EUR 7,50
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
A Many-Sorted Calculus Based on Resolution and Paramodulation
Edité par
Morgan Kaufmann, 1987
ISBN 10 : 0273087185
ISBN 13 : 9780273087182
Ancien ou d'occasion
Paperback
Edition originale
Vendeur : Southampton Books, Sag Harbor, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. First Edition. First Edition, First Printing. Published by Morgan Kaufmann, 1987. Octavo. Paperback. Book is very good. N° de réf. du vendeur 540079
Acheter D'occasion
EUR 32,05
Expédition à EUR 4,44
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 168 pages. 9.75x6.75x0.38 inches. In Stock. N° de réf. du vendeur zk0273087185
Acheter neuf
EUR 40,56
Expédition à EUR 14,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)