16029
Logic of computation
Berlin
Springer; Published in cooperation with NATO Scientific Affairs Division
c1997
vi, 394p
NATO ASI seies: Series F. Computer and systems sciences
no.157
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995
Includes bibliographical references and index
edited by Helmut Schwichtenberg
Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
75
.
5
.
L63
1997
TI
AU Schwichtenberg, Helmut
SE
CL
