Work

Logic for computer science

Year: 1990

Type: book

Authors: Steve Reeves, Michael Clarke

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2137702965

FWCI: 0.893

Cites: 26

Cited by: 77

Related to: 10