>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 |
Was interessiert Dich an »Modell«? Erzähle es uns doch und versuche es so interessant wie möglich zu beschreiben. |
Konfiguration | Web-Blaster | Statistik | »Modell« | Hilfe | Startseite | |
0.0366 (0.0344, 0.0010) sek. 825659630 |