Options
Anti-unification of axiomatic systems
Schmid, Ute (2003): Anti-unification of axiomatic systems, Osnabrück.
Faculty/Chair:
Author:
Responsibility:
Helmar Gust ; Ute Schmid; Kai-Uwe Kühnberger
Corporate Body:
University of Osnabrück, Institut of Cognitive Science
Publisher Information:
Year of publication:
2003
Series ; Volume:
Work in progress report
Language:
English
Type:
Workingpaper
Activation date:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/11621