CIRM - Videos & books Library - Automation of reasoning,vol. 1<br>classical papers on computational logic 1957-1966

Ouvrage

Publication Date : 1983

ISBN : 978-0-387-12043-0

Call n° : 00006434

MSC Codes : 03-03 ; 03-04 ; 03Bxx

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]