Next: What is an Argument?
Up: No Title
Previous: Logic as a Formal
Application areas include:
- Circuit Design
- Semantics of Programming Languages
- Program Specification/Verification
- Knowledge Representation
- Logic Programming
Mike Rosner
Thu Oct 15 17:04:56 MET DST 1998