Duntsch, Ivo.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
by:
Duntsch, Ivo.; Mares, Edwin.; SpringerLink (Online service); Urquhart, Alasdair.
(Electronic resources)
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.
(Electronic resources)
Subjects
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