Incollection677
Aus Aifbportal
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