Incollection677: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 2: | Zeile 2: | ||
|ErsterAutorNachname=Landes | |ErsterAutorNachname=Landes | ||
|ErsterAutorVorname=Dieter | |ErsterAutorVorname=Dieter | ||
| + | }} | ||
| + | {{Publikation Author | ||
| + | |Rank=2 | ||
| + | |Author=Dieter Fensel | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=3 | |Rank=3 | ||
|Author=Jürgen Angele | |Author=Jürgen Angele | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Incollection | {{Incollection | ||
Version vom 10. September 2009, 21:23 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