Natural Deduction, Hybrid Systems and Modal Logics

• Κύριος συγγραφέας: Indrzejczak, Andrzej
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht Springer Science+Business Media B.V. 2010
• Σειρά: Trends in Logic 30
• Θέματα: Philosophy (General); Logic; Computer science; Algorithms; Logic, Symbolic and mathematical; Philosophy; Λογική, Συμβολική και μαθηματική; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Τεχνητή νοημοσύνη