Logic of computation - Schwichtenberg, Helmut, 1955-; NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany) (Berlin ; New York : Springer, 1997)
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.
Includes bibliographical references (p. ).
Keywords: Computer science -- Congresses; Logic, Symbolic and mathematical -- Congresses