Computational logic
By: edited by Ulrich Berger, Helmut Schwichtenberg.
Contributors: Berger, Ulrich, 1956-; Schwichtenberg, Helmut, 1942-; North Atlantic Treaty Organization. Scientific Affairs Division.; NATO Advanced Study Institute on Computational Logic (1997 : Marktoberdorf, Germany)
Series: NATO ASI series. Series F, Computer and systems sciences -- vol. 165; NATO ASI series -- no. 165.
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 444
Subjects: Computer logic
Notes: "Published in cooperation with NATO Scientific Affairs Division."

"Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997"--T.p. verso.

Includes bibliographical references.