Duntsch, Ivo.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rough setsInternational Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019 : proceedings /
by:
(1998 :); Banerjee, Mohua.; Ciucci, Davide.; Duntsch, Ivo.; Mihalydeak, Tamas.; Min, Fan.; SpringerLink (Online service); Suraj, Zbigniew.; Wang, Guoyin.
(書目-電子資源)
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
by:
Duntsch, Ivo.; Mares, Edwin.; SpringerLink (Online service); Urquhart, Alasdair.
(書目-電子資源)
Relational Methods in Computer Science8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
by:
(1998 :); Duntsch, Ivo.; MacCaull, Wendy.; SpringerLink (Online service); Winter, Michael.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logic.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Lattice theory.
Algebra.
Algebra
Artificial Intelligence (incl. Robotics)
Logic
Data Mining and Knowledge Discovery.
Computer science
Relation algebras
Artificial Intelligence.
Urquhart, Alasdair.
Relationism
Computer Science.
Discrete Mathematics in Computer Science.
Arithmetic and Logic Structures.
Symbolic and Algebraic Manipulation.
Rough sets