Français
Logics of programs :
workshop held at the ibm thomas j. watson research center in yorktown heights#May 4-6
Congrès
logique de programmation # logique mathématiques # programme
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : États-Unis
Language : English
EAN13 : 9783540112129
ISBN : 3-540-11212-X
Collation : Bibliogr. ; vi#transcript of panel discussion pp. 407-429#24 cm#broch.
Series : Lecture notes in computer science
Nb in series : 0131
Location : Collection 1er étage
Event Year : 1981
City of congres : N. Y.
Country of congres : États-Unis
ACM code : 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 | 00011473 | [available] |
