En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Logical frameworks
First annual workshop held under the auspices of the ESPRIT basic research action 3245, France 1990

Bookmarks Report an error
Congrès

Huet, Gérard (Editor) ; Plotkin, Gordon (Editor)

Cambridge University Press

1991

978-0-521-41300-8

00016859

68N17

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

ACM code : F.3.0 ; F.4.1

Conference type : Congrès

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 C/SOPH/1990 00016859 [available]
Bookmarks Report an error