Français
Automation of reasoning. Vol. 1 :
classical papers on computational logic 1957-1966
Ouvrage
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne ; États-Unis
Language : English
EAN13 : 9780387120430
ISBN : 0-387-12043-2
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 | 00008490 | [available] |
