Automation of reasoning. Vol. 1 :
classical papers on computational logic 1957-1966
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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00008490 | [disponible] |