Login / Signup
LogiC++: An Integrated Logic and Object-Oriented Programming Language.
S.-i. Wu
Published in:
C++ Conference (1991)
Keyphrases
</>
modal logic
classical logic
logic programming
multi valued
dynamic logic
predicate logic
logical framework
information systems
proof theory
probabilistic logic
automated reasoning
probability theory
temporal logic
source code
xml documents
expert systems
search engine
delay insensitive