Virtual Logic-The Erdos Machine.

Louis H. Kauffman

Published in: Cybern. Hum. Knowing (2018)

Keyphrases

virtual world
virtual environment
multi valued
logic programming
augmented reality
classical logic
virtual reality
batch processing
databases
digital circuits
modal logic
case study
automated reasoning
information technology
learning algorithm
bayesian networks
computational properties
virtual teams
predicate logic