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