| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Session 4: FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure

Lecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219

Erscheinungsjahr: 2000

ISBN/ISSN: 0302-9743

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Baumgartner, Peter (Autor)

Verbundene Forschungsprojekte

Tools for Reusable Integrated Adaptable Learning - Systems/standards for Open Learning Using Tested Interoperable Objects and Networking (TRIAL-SOLUTION)

Beteiligte Einrichtungen

Künstliche Intelligenz
(Universität Koblenz)

Institut für Informatik
(Universität Koblenz)