Automation of reasoning,vol. 1
classical papers on computational logic 1957-1966
Ville d'édition : Berlin ; Heidelberg ; N.Y.
EAN13 : 9780387120430
ISBN : 0-387-12043-2
Collation : 525 p. ; Bibliogr. ; rel. ; xii
Localisation : Disparu
Type d'ouvrage : Monographie
Disponibilité : Disparu
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00006434 | D2006 Disparu 2005 D2004 D 2003 [disponible] |