Artículos relacionados a Computational Aspects of an Order-Sorted Logic with...
Computational Aspects of an Order-Sorted Logic with Term Declarations: 395 (Lecture Notes in Computer Science) - Tapa blanda
Comprar nuevo
Ver este artículo
EUR 37,44
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Computational Aspects of an Order-Sorted Logic with...
Imagen de archivo
Computational Aspects of an Order-sorted Logic With Term Declarations
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: E-577-908
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 370895
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations
Publicado por
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540517054
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations
Publicado por
Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540517054
Cantidad disponible: 1 disponibles
Imagen de archivo
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540517054_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations
Publicado por
Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ex. Nº de ref. del artículo: 4892090
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computational Aspects of an Order-Sorted Logic with Term Declarations
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540517054
Cantidad disponible: 10 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations
Publicado por
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540517054
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Nº de ref. del artículo: UT1572730
Cantidad disponible: 1 disponibles
Imagen de archivo
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-3540517057
Cantidad disponible: 1 disponibles