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 online
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
E(electronic)-Books
|
NISER LIBRARY | 160, 23 (Browse shelf(Opens below)) | Available | E2651 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 159.98:72 SUS-C Cognitive architecture : designing for how we respond to the built environment | 159.98:82 CRO-K Kansas city lightning: the rise and times of charlie parker | 16 ENG-P Philosophical logic: an introduction to advanced topics | 160, 23 Natural Deduction, Hybrid Systems and Modal Logics | 160, 23 Hybrid Logic and its Proof-Theory | 160, 23 Paradoxes | 162 SAV-P Power of logical thinking |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.