Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
In your inventory
nothing here
In your friends' and groups' inventories
nothing here
Nearby
nothing here
Elsewhere
nothing here
Edition - isbn:9783486238730 - inv:f7ac06cd6dad22fb55c165852e004cd5