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, 395) - Tapa blanda
Sinopsis
Computational Aspects of an Order-Sorted Logic with Term Declarations
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Computational Aspects of an Order-Sorted Logic with...
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. Sorry, No international shipping on this item.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
Comprar usado
EUR 9,50
Envío por EUR 6,22
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Computational Aspects of an Order-Sorted Logic with Term Declarations
Impresión bajo demandaLibrería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. del artículo: 6666-IUK-9783540517054
Comprar nuevo
EUR 42,04
Envío por EUR 5,99
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 20 disponibles
Imagen de archivo
Computational Aspects of an Order-sorted Logic With Term Declarations
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5906465
Comprar usado
EUR 57,39
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations
Impresión bajo demandaLibrerí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
Comprar nuevo
EUR 37,44
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Computational Aspects of an Order-sorted Logic With Term Declarations
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5906465-n
Comprar nuevo
EUR 60,74
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Librería: BennettBooksLtd, Los Angeles, CA, 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
Comprar nuevo
EUR 73,13
Envío por EUR 6,19
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations
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
Comprar nuevo
EUR 48,85
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 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
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: 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 ref. del artículo: 4892090
Comprar nuevo
EUR 38,12
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
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: SHIMEDIA, Brooklyn, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Satisfaction Guaranteed or your money back. Nº de ref. del artículo: 3540517057
Comprar nuevo
EUR 91,67
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computational Aspects of an Order-Sorted Logic with Term Declarations
Publicado por
Springer, Springer 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. This item is printed on demand - Print on Demand Titel. Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch. Nº de ref. del artículo: 9783540517054
Comprar nuevo
EUR 37,44
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles