Computer science logic :
5th workshop, CSL'91#Oct. 7-11
Borger, E. (Editor) ; Jager, G. (Editor) ; Kleine Buning, H. (Editor) ; Richter, M. M. (Editor)
1992
427 p.
978-3-540-55789-0
00015258
gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme
Publisher City : Heidelberg ; N.Y. ; Paris
Publisher country : France
Language : English
EAN13 : 9783540557890
ISBN : 3-540-55789-X
Collation : 24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 0626
Location : Collection 1er étage
Event Number : 5
Event Year : 1991
City of congres : Berne
Country of congres : Suisse
ACM code : D.3 ; F ; G.2 ; H.2.1 ; I.1
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00015258 | [available] |