Incollection677: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Author | ||
+ | |Rank=3 | ||
+ | |Author=Jürgen Angele | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Dieter Fensel | |Author=Dieter Fensel | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Publikation Author | {{Publikation Author |
Version vom 15. August 2009, 17:35 Uhr
Formalizing And Operationalizing A Design Task With KARL
Veröffentlicht: 1993
Herausgeber: J. Treur, Th. Wetter
Buchtitel: Formal Specification Of Complex Reasoning Systems
Reihe: Workshop Series
Verlag: Ellis Horwood, Chichester
BibTeX
Forschungsgebiet