Login / Signup
Ferrite Core Logic in All-Magnetic Technique.
Udo Hölken
Published in:
IFIP Congress (1962)
Keyphrases
</>
magnetic field
random access memory
classical logic
databases
logic programming
artificial intelligence
asynchronous circuits
set theory
multi valued
automated reasoning
modal logic
computational properties
predicate logic
formal theory
multi agent
propositional dynamic logic
sound and complete axiomatization