En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Automation of reasoning. Vol. 1 :
classical papers on computational logic 1957-1966

Sélection Signaler une erreur
Ouvrage

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

Springer-Verlag

1983

525 p.

978-0-387-12043-0

00008490

68Q40 ; 68Qxx ; 68T10 ; 68T15 ; 68Txx

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00008490 [disponible]
Sélection Signaler une erreur