Logical frameworks
First annual workshop held under the auspices of the ESPRIT basic research action 3245, France 1990
algorithme # calcul # implémentation # logique de l'informatique # logique de programmation # logique intuitive # preuve # structure logique # système formel
Ville d'édition : Cambridge ; N.Y. ; Port Chester
Pays d'édition : Grande-Bretagne
Langue : Anglais
EAN13 : 9780521413008
ISBN : 0-521-41300-1
Collation : 24 cm ; 403 p. ; Bibliogr. ; rel. ; xii
Localisation : Colloque 1er étage (SOPH)
Nom de la rencontre : First annual workshop held under the auspices of the ESPRIT basic research action 3245 " logical frameworks design, implementation and experiment "
Année de la rencontre : 1990
Ville du congrès : Sophia-antipolis
Pays du congrès : France
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | C/SOPH/1990 | 00016859 | [disponible] |