From Logic to Physics: How the Meaning of Computation Changed over Time.

Itamar Pitowsky

Published in: CiE (2007)

Keyphrases

computer science
modal logic
databases
database
artificial intelligence
information systems
natural language
logic programming
automated reasoning
classical logic
linear logic
learning environment
logic programs