Computational Aspects of an Order-sorted Logic With Term Declarations. Este artículo no está disponible.
Idioma: inglés
Editorial: Springer, 1989
- Tapa blanda
- Usado
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Vendedor de 5 estrellas
Vendedor de IberLibro desde 6 de abril de 2009
No disponible
Tapa blanda
Condición: Usado - Como Nuevo
EUR 57,55
Descripción del artículo del vendedor
Unread book in perfect condition.
N° de ref. del artículo 5906465
- Título
- Computational Aspects of an Order-sorted Logic With Term Declarations
- Autor
- Schmidt-schauß, Manfred
- Editorial
- Springer
- Año de publicación
- 1989
- Estado
- As New
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 3540517057
- ISBN 13
- 9783540517054
Computational Aspects of an Order-Sorted Logic with Term Declarations
“Sinopsis” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para Computational Aspects of an Order-sorted Logic With Term Declarations
Hay 2 copias más de este libroVer todos los resultados