Work

Putting theories together to make specifications

Year: 1977

Type: conference-paper

Source: International Joint Conference on Artificial Intelligence

Authors: R. M. Burstall, Joseph A. Goguen

Institutions: University of Edinburgh, University of California, Los Angeles

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1756661417

FWCI: 19.94

Cites: 19

Cited by: 419

Related to: 10