Automation of reasoning,vol. 1
classical papers on computational logic 1957-1966
Publisher City : Berlin ; Heidelberg ; N.Y.
EAN13 : 9780387120430
ISBN : 0-387-12043-2
Collation : 525 p. ; Bibliogr. ; rel. ; xii
Location : Disparu
Book type : Monographie
Availability : Disparu
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00006434 | D2006 Disparu 2005 D2004 D 2003 [available] |