Vermeidung berflssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen.

Astrid Schmcker

Browse the full KI paper archive.