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:
Auteurs principaux : | , , |
---|---|
Collectivité 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 : |
BU Censive
| Cote | Prêt | Statut |
---|---|---|---|
Bât. Censive, 1er étage, salle 111 | L 12511 | Empruntable | Disponible |