>Info zum Stichwort Modell | >diskutieren | >Permalink |
waringo schrieb am 17.1. 2002 um 12:03:47 Uhr überModell |
Ein sehr hilfreiches Werkzeug zum Beweis der Vollständigkeit der SLD-Resolution ist das Herbrand-Modell.
|
User-Bewertung: +1 |
Versuche nicht, auf den oben stehenden Text zu antworten. Niemand kann wissen, worauf Du Dich beziehst. Schreibe lieber eine atomische Texteinheit zum Thema »Modell«! |
Konfiguration | Web-Blaster | Statistik | »Modell« | Hilfe | Startseite | |
0.0081 (0.0057, 0.0010) sek. 823875974 |