arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog

Publisher City : Heidelberg ; N.Y. ; Paris

Publisher country : France

Language : English

EAN13 : 9783540558736

ISBN : 3-540-55873-X

Collation : 24 cm#broch. ; Bibliogr.

Series : Lecture notes in computer science

Nb in series : 0632

Location : Collection 1er étage

Event Number : 13

Event Year : 1992

City of congres : Volterra

Country of congres : Italie

ACM code : D.3 ; F.3.4

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies