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

:


UP HOME © RBJ created 1999/10/6 modified 1999/10/6