A Computational Logic Handbook
Main Authors: | Moore, J. Strother (Author), Boyer, Robert (Author) |
---|---|
Format: | Book |
Language: | English |
Published: |
Boston
Academic Press
1988
|
Series: | Perspectives in computing,
ωολ. 23 |
Subjects: |
Similar Items
-
A computational logic handbook
by: Boyer, Robert, et al.
Published: (1998) -
Solving higher-order equations From logic to programming
by: Prehofer, Christian
Published: (1998) - Semantics and Logic of Computation
-
Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Published: (1996) -
Optimization and Computational Logic
by: McAloon, Ken, et al.
Published: (1996)