Work

Isabelle

Year: 1994

Type: conference-paper

Source: Springer eBooks

DOI: 10.1007/bfb0030541

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4234528212

FWCI: 28.66

Cites: 1

Cited by: 578

Related to: 10