Available items(s) from this publisher

Computational logic

No review available on this record. Title : Computational logic : essays in honor of Alan Robinson Material Type: printed text Authors: J. A Robinson, Editor ; Jean-Louis Lassez, Editor ; G Plotkin, Editor Publisher: Cambridge, Mass : The MIT Pres Publication Date: 1991 Pagination: viii, 727 p. Size: 26 cm ISBN (or other code): 978-0-262-12156-9 General note: Includes bibliographical references and index Languages : English (eng) Descriptors: Automatic theorem proving Logic programming Class number: 006.3 Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=7047

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
5702-011341	006.3 Comput 1991	General Collection	Library "Max van der Stoel"	English	Available
5702-011342	006.3 Comput 1991	General Collection	Library "Max van der Stoel"	English	Available
5702-011343	006.3 Comput 1991	General Collection	Library "Max van der Stoel"	English	Available
5702-014726	006.3 Comput 1991	General Collection	Library "Max van der Stoel"	English	Available