Incollection677: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
{{Publikation Author | {{Publikation Author | ||
| − | |Rank= | + | |Rank=1 |
| − | |Author= | + | |Author=Dieter Landes |
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
| Zeile 8: | Zeile 8: | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
| − | |Rank= | + | |Rank=3 |
| − | |Author= | + | |Author=Jürgen Angele |
}} | }} | ||
{{Incollection | {{Incollection | ||
Version vom 15. August 2009, 22:18 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