Renamable-Horn clauses and unit resolution: Fid-Bau Portal

Renamable-Horn clauses and unit resolution

Schöning, Uwe / Schuler, Rainer / Abteilung Koblenz, Erziehungswissenschaftliche Hochschule Rheinland-Pfalz (EWH), Koblenz

Access

Page navigation

Export, share and cite

Renamable-Horn clauses and unit resolution

Schöning, Uwe / Schuler, Rainer / Abteilung Koblenz, Erziehungswissenschaftliche Hochschule Rheinland-Pfalz (EWH), Koblenz

Renamable-Horn clauses and unit resolution

Schöning, Uwe / Schuler, Rainer / Abteilung Koblenz, Erziehungswissenschaftliche Hochschule Rheinland-Pfalz (EWH), Koblenz

Access

Page navigation

Export, share and cite

Document information

Title:

Renamable-Horn clauses and unit resolution

Contributors:

Published in:

Fachberichte Informatik ; 1989,5

Publication date:

1989

Size:

4 S

Type of media:

Book

Type of material:

Language:

English

Online Contents | 2011

Robinson, Michael | Wiley | 2023

Redmond, John | Online Contents | 1999

Bakshi, P. M. / India / Central Board of Irrigation and Power | British Library Conference Proceedings | 1995

British Library Online Contents | 2008