Computational Aspects Of An Ordersorted Logic With Term Declarations
- ISBN
- 9783540517054
Computational Aspects Of An Ordersorted Logic With Term Declarations est un logic, symbolic and mathematical, sorting book de Manfred Schmidt-Schau.
Découvrez Computational Aspects Of An Ordersorted Logic With Term Declarations de Manfred Schmidt-Schau, logic, symbolic and mathematical.
À propos de l'auteur
Manfred Schmidt-Schau est l'auteur de Computational Aspects Of An Ordersorted Logic With Term Declarations. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Computational Aspects Of An Ordersorted Logic With Term Declarations ?+
Computational Aspects Of An Ordersorted Logic With Term Declarations est un livre de Logic, symbolic and mathematical, Sorting.
Qui a écrit Computational Aspects Of An Ordersorted Logic With Term Declarations ?+
Computational Aspects Of An Ordersorted Logic With Term Declarations a été écrit par Manfred Schmidt-Schau.