Anti-unification of axiomatic systems
Gust, Helmar; Schmid, Ute; Kühnberger, Kai-Uwe (2003): Anti-unification of axiomatic systems, Osnabrück.
Faculty/Chair:
Author:
 ;  ; 
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
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/11621