Computational Aspects Of An Ordersorted Logic With Term Declarations
- ISBN
- 9783540517054
Computational Aspects Of An Ordersorted Logic With Term Declarations es un logic, symbolic and mathematical, sorting book de Manfred Schmidt-Schau.
Descubre Computational Aspects Of An Ordersorted Logic With Term Declarations de Manfred Schmidt-Schau, logic, symbolic and mathematical.
Sobre el Autor
Manfred Schmidt-Schau es el autor de Computational Aspects Of An Ordersorted Logic With Term Declarations. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Computational Aspects Of An Ordersorted Logic With Term Declarations?+
Computational Aspects Of An Ordersorted Logic With Term Declarations es un libro de Logic, symbolic and mathematical, Sorting.
¿Quién escribió Computational Aspects Of An Ordersorted Logic With Term Declarations?+
Computational Aspects Of An Ordersorted Logic With Term Declarations fue escrito por Manfred Schmidt-Schau.