Work

Synthetic programming

Year: 1985

Type: article

Source: Artificial Intelligence

DOI: 10.1016/0004-3702(85)90076-1

Author: Nachum Dershowitz

Institution: University of Illinois Urbana-Champaign

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2913268470

FWCI: 1.28

Cites: 87

Cited by: 17

Related to: 10