Logic and Computing
Overview:
A survey of those aspects of computing and computer science which are most closely related to mathematical logic.
Digital Hardware
Software Engineering
Data and Knowledge Bases
Formal Methods
Automation of Reasoning
Programming Languages
:
©
created 1999/10/6 modified 1999/10/6