A course in applied logic

Authors:
John Grant
Affiliations:
Towson State University, Towson, MD
Venue:
ACM SIGCSE Bulletin
Year:
1984

Citing 13
Cited 0

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
The fifth generation: artificial intelligence and Japan's computer challenge to the world

The fifth generation: artificial intelligence and Japan's computer challenge to the world
Building expert systems

Building expert systems
Principles of artificial intelligence

Principles of artificial intelligence
Curriculum '78: recommendations for the undergraduate program in computer science— a report of the ACM curriculum committee on computer science

Communications of the ACM
Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science

Communications of the ACM
The Science of Programming

The Science of Programming
Principles of Database Systems

Principles of Database Systems
Logic for Problem Solving

Logic for Problem Solving
Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theory of Computation
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Mathematical Logic in Computer Science

Mathematical Logic in Computer Science
Logic Programming

Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract