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

Ouvrage

Auteurs : Siekmann, Jorg (Editeur) ; Wrightson, Graham (Editeur)

Date de parution : 1983

ISBN : 978-0-387-12043-0

Cote : 00006434

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

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]