Logic of computation
Author(s)
Bibliographic Information
Logic of computation
(NATO ASI series, Series F . Computer and systems sciences ; v. 157)
Springer, c1997
Available at / 24 libraries
-
No Libraries matched.
- Remove all filters.
Note
"Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995" -- T.p. verso
Includes bibliographical references