Articles liés à Computational Aspects of an Order-Sorted Logic with...
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540517057
- ISBN 13 9783540517054
- ReliureBroché
- Langueanglais
- Nombre de pages184
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 37,44
EUR 10,99 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Computational Aspects of an Order-Sorted Logic with...
Image d'archives
Computational Aspects of an Order-sorted Logic With Term Declarations
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10 : 3540517057
ISBN 13 : 9783540517054
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-577-908
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Edité par
Springer, 1989
ISBN 10 : 3540517057
ISBN 13 : 9783540517054
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Auflage: 1989. 184 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 270 23,1 x 15,2 x 1,3 cm, Taschenbuch. N° de réf. du vendeur 370895
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computational Aspects of an Order-Sorted Logic with Term Declarations
Edité par
Springer Berlin Heidelberg, 1989
ISBN 10 : 3540517057
ISBN 13 : 9783540517054
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. N° de réf. du vendeur 9783540517054
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computational Aspects of an Order-Sorted Logic with Term Declarations
Edité par
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10 : 3540517057
ISBN 13 : 9783540517054
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. 184 pp. Englisch. N° de réf. du vendeur 9783540517054
Quantité disponible : 2 disponible(s)
Image d'archives
Computational Aspects of an Order-Sorted Logic with Term Declarations
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540517054
Quantité disponible : 10 disponible(s)
Image d'archives
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540517054_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Edité par
Springer, 1989
ISBN 10 : 3540517057
ISBN 13 : 9783540517054
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UT1572730
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computational Aspects of an Order-Sorted Logic with Term Declarations
Edité par
Springer Berlin Heidelberg, 1989
ISBN 10 : 3540517057
ISBN 13 : 9783540517054
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.InhaltsverzeichnisFoundations.- Various ex. N° de réf. du vendeur 4892090
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computational Aspects of an Order-Sorted Logic with Term Declarations
Edité par
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10 : 3540517057
ISBN 13 : 9783540517054
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch. N° de réf. du vendeur 9783540517054
Quantité disponible : 2 disponible(s)
Image d'archives
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-3540517057
Quantité disponible : 1 disponible(s)