Logical frameworks
by G. Plotkin
- ISBN
- 0521413001
Logical frameworks est un logic, frames book de G. Plotkin.
Découvrez Logical frameworks de G. Plotkin, logic.
À propos de l'auteur
est l'auteur de Logical frameworks. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de G. Plotkin →É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 Logical frameworks ?+
Logical frameworks est un livre de Logic, Frames, Automatic theorem proving, Symbolic and mathematical Logic, Logic programming.
Qui a écrit Logical frameworks ?+
Logical frameworks a été écrit par G. Plotkin.