Formal logic and switching circuits.

Theodore A. Kalin

Published in: ACM National Meeting (Pittsburgh) (1952)

Keyphrases

formal logic
tunnel diode
predicate logic
logic circuits
description logics
design theory
artificial intelligence
logic programming
lessons learned
natural language
computer science
deductive databases
formal methods