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

Zugriff

Seitennavigation

Exportieren, teilen und zitieren

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

Zugriff

Seitennavigation

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

Renamable-Horn clauses and unit resolution

Beteiligte:

Erschienen in:

Fachberichte Informatik ; 1989,5

Erscheinungsdatum:

1989

Format / Umfang:

4 S

Medientyp:

Buch

Format:

Sprache:

Englisch

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

Sabo, W. / Zahn, J. K. | British Library Online Contents | 2004