A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure
Lakemeyer, G.; Nebel, B. (Hrsg). AI in the new Millenium. Morgan Kaufmann 2002
Erscheinungsjahr: 2002
Publikationstyp: Diverses
| Geprüft: | Bibliothek |
Autoren
Baumgartner, P. (Autor)
Lakemeyer, G. (Herausgeber)
Nebel, B. (Herausgeber)
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
