Work

A Problem-Oriented Search Procedure for Theorem Proving

Year: 1976

Type: article

Source: IEEE Transactions on Computers

DOI: 10.1109/tc.1976.1674699

Author: Fishman

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2066612817

FWCI: 2.197

Cites: 19

Cited by: 5

Related to: 10