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

Nbre/N° de page : 525 p.

ISBN : 978-0-387-12043-0

Cote : 00008490

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne ; États-Unis

Langue : Anglais

EAN13 : 9780387120430

ISBN : 0-387-12043-2

Collation : 25 cm#rel. ; Bibliogr. ; xii

Localisation : Ouvrage RdC (Auto)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00008490	[disponible]