Computer science logic /
Gottlob,Georg
Computer science logic / Gottlob,Georg. - 12th International W - Berlin: Springer, 1999. - x,428p;25cm - Lecture Notes in Computer Science, No.1584 .
Includes bibliographical references.
3540659226
004 GOT
Computer science logic / Gottlob,Georg. - 12th International W - Berlin: Springer, 1999. - x,428p;25cm - Lecture Notes in Computer Science, No.1584 .
Includes bibliographical references.
3540659226
004 GOT