Logic,symbolic and...

Overview

Works:	6 works in 6 publications in 6 languages

Titles

A theory of heuristic information in game-tree search by: (Language materials, printed)

Formal methods in artificial intelligence by: (Language materials, printed)

Mathematical logic for computer science by: (Language materials, printed)

Logic:a foundation for computer science by: (Language materials, printed)

Introduction to digital logic design by: (Language materials, printed)

Logic,sets,and recursion by: (Language materials, printed)

Subjects

Reasoning