Logical frameworks : [first annual Workshop of the ESPRIT Basic Research Action 3245, "Logical Frameworks : Design, Implementations and Experiment", Sophia-Antipolis, 7th-11th of May, 1990]

Logical frameworks : [first annual Workshop of the ESPRIT Basic Research Action 3245, "Logical Frameworks : Design, Implementations and Experiment", Sophia-Antipolis, 7th-11th of May, 1990]

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Huet Gérard (Directeur de publication), Plotkin Gordon (Directeur de publication), ESPRIT Basic Research -- Workshop
Collectivité auteur : ESPRIT Basic Research Workshop 01 Sophia Antipolis, France (Auteur)
Format : Livre
Langue : anglais
Titre complet : Logical frameworks : [first annual Workshop of the ESPRIT Basic Research Action 3245, "Logical Frameworks : Design, Implementations and Experiment", Sophia-Antipolis, 7th-11th of May, 1990] / edited by Gérard Huet,... G. Plotkin,...
Publié : Cambridge, New York, Port Chester : Cambridge University Press , 1991
Description matérielle : 1 vol. (XII-403 p.)
Sujets :
Information, Théorie de l'
Programmation logique
Logique mathématique
Informatique
Théorèmes > Démonstration automatique
Actes de congrès

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L 12511 Empruntable Disponible