Computational Aspects Of An Ordersorted Logic With Term Declarations
- ISBN
- 9783540517054
Computational Aspects Of An Ordersorted Logic With Term Declarations è un logic, symbolic and mathematical, sorting book di Manfred Schmidt-Schau.
Scopri Computational Aspects Of An Ordersorted Logic With Term Declarations di Manfred Schmidt-Schau, logic, symbolic and mathematical.
Sull'Autore
Manfred Schmidt-Schau è l'autore di Computational Aspects Of An Ordersorted 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 Ordersorted Logic With Term Declarations?+
Computational Aspects Of An Ordersorted Logic With Term Declarations è un libro di Logic, symbolic and mathematical, Sorting.
Chi ha scritto Computational Aspects Of An Ordersorted Logic With Term Declarations?+
Computational Aspects Of An Ordersorted Logic With Term Declarations è stato scritto da Manfred Schmidt-Schau.