Computational aspects of an order-sorted logic with term declarations
- ISBN
- 0387517057
Computational aspects of an order-sorted logic with term declarations est un sorting, symbolic and mathematical logic book de M. Schmidt-Schauss.
Découvrez Computational aspects of an order-sorted logic with term declarations de M. Schmidt-Schauss, sorting.
À propos de l'auteur
M. Schmidt-Schauss est l'auteur de Computational aspects of an order-sorted 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 order-sorted logic with term declarations ?+
Computational aspects of an order-sorted logic with term declarations est un livre de Sorting, Symbolic and mathematical Logic.
Qui a écrit Computational aspects of an order-sorted logic with term declarations ?+
Computational aspects of an order-sorted logic with term declarations a été écrit par M. Schmidt-Schauss.