Work

On Arbitrary Selection Strategies for Basic Superposition

Year: 2006

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11853886_4

Authors: Vladimir Aleksic, Anatoli Degtyarev

Institution: King's College London

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2114327708

FWCI:

Cites: 8

Cited by: 1

Related to: 10