Catalog

Record Details

Catalog Search


Back To Results
Showing Item 54 of 922

Natural Deduction, Hybrid Systems and Modal Logics Cover Image E-book E-book

Natural Deduction, Hybrid Systems and Modal Logics

Record details

  • ISBN: 9789048187850
  • Physical Description: XXIII, 514p. online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2010.
Subject: 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).

Electronic resources


Back To Results
Showing Item 54 of 922

Additional Resources