Computational aspects of an order-sorted logic with term declarations
- ISBN
- 0387517057
Computational aspects of an order-sorted logic with term declarations es un sorting, symbolic and mathematical logic book de M. Schmidt-Schauss.
Descubre Computational aspects of an order-sorted logic with term declarations de M. Schmidt-Schauss, sorting.
Sobre el Autor
M. Schmidt-Schauss es el autor de Computational aspects of an order-sorted 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 order-sorted logic with term declarations?+
Computational aspects of an order-sorted logic with term declarations es un libro de Sorting, Symbolic and mathematical Logic.
¿Quién escribió Computational aspects of an order-sorted logic with term declarations?+
Computational aspects of an order-sorted logic with term declarations fue escrito por M. Schmidt-Schauss.