Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

--- lm_guha_te_publikace [2021/03/25 22:51]
jra [Automatizace procesu DZD a využití doménových znalostí]
+++ lm_guha_te_publikace [2022/12/23 16:31]
jra
@@ Řádek 231: / Řádek 231: @@
 E. Turunen: [[https://aip.vse.cz/artkey/aip-201801-0006_paraconsistent-many-8211-valued-logic-in-guha-framework.php?l=en|Paraconsistent Many-Valued Logic in GUHA Framework]]. Acta Informatica Pragensia 7(1) (2018)
+J. Rauch, M. Šimůnek, D. Chudán, P. Máša: [[https://www.taylorfrancis.com/books/mono/10.1201/9781003091448/mechanizing-hypothesis-formation-jan-rauch-milan-%C5%A1im%C5%AFnek-david-chud%C3%A1n-petr-m%C3%A1%C5%A1a|Mechanizing Hypothesis Formation -
+Principles and Case Studies]],  Boca Raton : CRC Press, 2022. 345 pp. ISBN 978-0-367-54980-0
 ==== Automatizace procesu DZD a využití doménových znalostí ====

Metoda GUHA a systém LISp-Miner