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
Publisher City : Cambridge ; N.Y. ; Port Chester
Publisher country : Grande-Bretagne
Language : English
EAN13 : 9780521413008
ISBN : 0-521-41300-1
Collation : 24 cm ; 403 p. ; Bibliogr. ; rel. ; xii
Location : Colloque 1er étage (SOPH)
Event Title : First annual workshop held under the auspices of the ESPRIT basic research action 3245 " logical frameworks design, implementation and experiment "
Event Year : 1990
City of congres : Sophia-antipolis
Country of congres : France
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | C/SOPH/1990 | 00016859 | [available] |