Work

Proving self-utterances

Year: 1987

Type: article

Source: Journal of Automated Reasoning

DOI: 10.1007/bf00243796

Authors: Michael Miller, Donald Perlis

Institution: University of Maryland, College Park

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2082349011

FWCI: 0.759

Cites: 8

Cited by: 3

Related to: 10