CIRM - Videos & books Library - Automation of reasoning. Vol. 2 :<br>classical papers on computational logic 1967-1970

Ouvrage

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

Date de parution : 1983

Nbre/N° de page : 637 p.

ISBN : 978-0-387-12044-7

Cote : 00006435

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

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

Langue : Anglais

EAN13 : 9780387120447

ISBN : 0-387-12044-0

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		00006435	[disponible]