Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540517057 ISBN 13: 9783540517054
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
EUR 20,94
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 44,00
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Publicado por Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057 ISBN 13: 9783540517054
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 37,44
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
Publicado por Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540517057 ISBN 13: 9783540517054
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 37,44
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. 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.
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
EUR 70,40
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 47,68
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540517057 ISBN 13: 9783540517054
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 37,44
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. 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.
Publicado por Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057 ISBN 13: 9783540517054
Idioma: Inglés
Librería: moluna, Greven, Alemania
EUR 35,19
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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.