|
" Computational logic "
edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
613029
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Computational logic\ edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
|
| Edition Statement
|
:
|
First edition.
|
| Publication Statement
|
:
|
Amsterdam, Netherlands :: North Holland,, 2014.
|
| Series Statement
|
:
|
Handbook of the History of Logic,; Volume 9
|
| ISBN
|
:
|
9780444516244
|
|
|
:
|
: 9780080930671
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references at the end of each chapters and index.
|
| Subject
|
:
|
Computer logic.
|
| Added Entry
|
:
|
Gabbay, Dov M.,1945-
|
|
|
:
|
Siekmann, Jörg H.
|
|
|
:
|
Woods, John, (John Hayden)
|
| Added Entry
|
:
|
ScienceDirect (Online service).
|
| |