Catalog

Record Details

Catalog Search


Back To Results
Showing Item 103 of 292

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 103 of 292

Additional Resources