Work

Integrating Theorem Proving With Object-oriented Programming for Problem Automation

Year: 1996

Type: article

Source: Computer Applications and Software

Author: Ian Y

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2378352143

FWCI:

Cites:

Cited by:

Related to: 10