Montant total (1 article articles) :
Destination de la commande :
computational aspects order sorted logic de schmidt schauss (8 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (8)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (8)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (4)
- Sans impressions à la demande (6)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
- Livraison gratuite à destination de Etats-Unis (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
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
Langue: anglais
EUR 10 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. 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.
-
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,19
Autre deviseEUR 3,53 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
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
EUR 45,17
Autre deviseEUR 14,09 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Computational Aspects of an Order-Sorted Logic with Term Declarations
Edité par Springer Berlin Heidelberg, 1989
ISBN 10 : 3540517057 ISBN 13 : 9783540517054
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,44
Autre deviseEUR 29,44 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. 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.
-
Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science)
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,64
Autre deviseEUR 8,51 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
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
EUR 72,63
Autre deviseEUR 6,15 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : New. In shrink wrap. Looks like an interesting title!
-
Computational Aspects of an Order-Sorted Logic with Term Declarations
Edité par Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10 : 3540517057 ISBN 13 : 9783540517054
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,44
Autre deviseEUR 23 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. 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.
-
Computational Aspects of an Order-Sorted Logic with Term Declarations
Edité par Springer Berlin Heidelberg, 1989
ISBN 10 : 3540517057 ISBN 13 : 9783540517054
Langue: anglais
EUR 35,19
Autre deviseEUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.InhaltsverzeichnisFoundations.- Various extens.
