Search results
There were no results matching the query in this site.
The page "Unifizieren" does not exist. You can create a draft and submit it for review or request that a redirect be created.
Showing results from German Wikipedia.
- (Typentheorie). Er entwickelte aber einen Algorithmus zur Suche nach Unifizierern. Er befasst sich mit automatischen Beweissystemen, konstruktiver Mathematik...3 KB (337 words) - 22:15, 21 May 2019
- Kinder sind ein NP-Knoten in der C-Struktur. Dessen F-Struktur wird durch Unifizieren der F-Strukturen von Die und Kinder erzeugt. Die Notation der Strukturen...8 KB (976 words) - 08:50, 29 May 2020