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

Bookmarks Report an error
Ouvrage

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

Springer-Verlag

1983

978-0-387-12043-0

00006434

03-03 ; 03-04 ; 03Bxx

Publisher City : Berlin ; Heidelberg ; N.Y.

EAN13 : 9780387120430

ISBN : 0-387-12043-2

Collation : 525 p. ; Bibliogr. ; rel. ; xii

Location : Disparu

Book type : Monographie

Availability : Disparu

Level of authorization : Public


Copies

No. Call n° Bar code Commentary
1 00006434
D2006
Disparu 2005
D2004
D 2003

[available]
Bookmarks Report an error