Computational aspects of an order-sorted logic with term declarations
- ISBN
- 0387517057
Computational aspects of an order-sorted logic with term declarations è un sorting, symbolic and mathematical logic book di M. Schmidt-Schauss.
Scopri Computational aspects of an order-sorted logic with term declarations di M. Schmidt-Schauss, sorting.
Sull'Autore
M. Schmidt-Schauss è l'autore di Computational aspects of an order-sorted logic with term declarations. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Computational aspects of an order-sorted logic with term declarations?+
Computational aspects of an order-sorted logic with term declarations è un libro di Sorting, Symbolic and mathematical Logic.
Chi ha scritto Computational aspects of an order-sorted logic with term declarations?+
Computational aspects of an order-sorted logic with term declarations è stato scritto da M. Schmidt-Schauss.