The Role of Logic in Computer Science and Artificial Intelligence.

John Alan Robinson

Published in: FGCS (1992)

Keyphrases

computer science and artificial intelligence
classical logic
engineering design
logic programming
mathematics and computer science
real time
data sets
expert systems
modal logic
predicate logic