Natural Deduction, Hybrid Systems and Modal Logics
Material type: Computer fileLanguage: English Publication details: Dordrecht Springer Netherlands 2010. ISBN: 9789048187850, 978-90-481-8785-0Subject(s): Logic, Symbolic and mathematical | Algorithms | Algorithms | Artificial intelligence | Artificial Intelligence (incl. Robotics) | Computer science | Logic | Logic | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Philosophy | Philosophy (General)DDC classification: 160, Online resources: Click here to access onlineItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E(electronic)-Books | NISER LIBRARY | 160, 23 (Browse shelf(Opens below)) | Available | E2651 |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.