Search Results

This study focuses on statics' original simplicity as an exercise in logic, without resort to extensive mathematical detail. Discussions of significant historic

Discrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer

Computer Systems Organization -- general.

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.