Computational Aspects of an Order-sorted Logic with Term Declarations - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Manfred Schmidt-schaus - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540517054 - 20 de septiembre de 1989
En caso de que portada y título no coincidan, el título será el correcto

Computational Aspects of an Order-sorted Logic with Term Declarations - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 1989 edition

Precio
Mex$ 703
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 2 de jul.
Añadir a tu lista de deseos de iMusic

174 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de septiembre de 1989
ISBN13 9783540517054
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 174
Dimensiones 155 × 235 × 9 mm   ·   267 g
Lengua Inglés  

Mere med samme udgiver