Schwichtenberg, Helmut 1955- NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany) text conference publication gw Berlin New York Springer c1997 1997 monographic eng

print

vi, 394 p. ; 24 cm. edited by Helmut Schwichtenberg. Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995. Includes bibliographical references (p. ). Computer science Congresses Logic, Symbolic and mathematical Congresses QA75.5 .L63 1997 005.1015113 LOG Series F Computer and systems sciences 3540629637 97017154 http://www.loc.gov/catdir/enhancements/fy0902/97017154-d.html http://www.loc.gov/catdir/enhancements/fy0902/97017154-d.html DLC 970501 20140805105347.0 1652733