Wolfgang Windsteiger,
"Theorema: Overview on Using the System and Details on Composing Hierarchical Knowledge Bases"
, Serie RISC Report Series, Nummer 99-15, 6-1999
Original Titel:
Theorema: Overview on Using the System and Details on Composing Hierarchical Knowledge Bases
Sprache des Titels:
Englisch
Serie:
RISC Report Series
Number:
99-15
Erscheinungsmonat:
6
Erscheinungsjahr:
1999
Notiz zur Publikation:
Talk given at the School for Logic and Computation
Herriot Watt University Edinburgh, April 1999