Indrzejczak, Andrzej.
Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak. - Dordrecht : Springer Netherlands, 2010. - digital. - Trends in Logic ; 30 . - Trends in Logic ; 30 .
9789048187850
10.1007/978-90-481-8785-0 doi
Philosophy (General).
Logic.
Computer science.
Artificial intelligence.
Algorithms.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics).
BC1-199
160
Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak. - Dordrecht : Springer Netherlands, 2010. - digital. - Trends in Logic ; 30 . - Trends in Logic ; 30 .
9789048187850
10.1007/978-90-481-8785-0 doi
Philosophy (General).
Logic.
Computer science.
Artificial intelligence.
Algorithms.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics).
BC1-199
160