Mathematics, Logic, and Engineering in Computing.

Peter J. Denning Matti Tedre

Published in: IEEE Ann. Hist. Comput. (2021)

Keyphrases

computer science
computer algebra
formal logic
artificial intelligence
mechanical engineering
electrical engineering
classical logic
software engineering
engineering design
automated reasoning
predicate logic
databases
computer aided design
probabilistic logic
logic programming
programming language
multi agent