Français
Automation of reasoning. Vol. 2 :
classical papers on computational logic 1967-1970
Ouvrage
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne ; États-Unis
Language : English
EAN13 : 9780387120447
ISBN : 0-387-12044-0
Collation : 25 cm#rel. ; Bibliogr. ; xii
Location : Ouvrage RdC (Auto)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00006435 | [available] |
