Login / Signup
Logic Implemented Functionally.
Norbert Eisinger
Tim Geisler
Sven Panne
Published in:
PLILP (1997)
Keyphrases
</>
logic programming
modal logic
asynchronous circuits
data sets
database systems
learning environment