Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Show other versions (1)
Bibliographic Details
Main Author: Indrzejczak, Andrzej
Corporate Author: SpringerLink (Online service)
Format: Electronic Kit Book
Language:English
Published: Dordrecht Springer Science+Business Media B.V. 2010
Series:Trends in Logic 30
Subjects:
Philosophy (General)
Logic
Computer science
Algorithms
Logic, Symbolic and mathematical
Philosophy
Λογική, Συμβολική και μαθηματική
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-90-481-8785-0

Internet

http://dx.doi.org/10.1007/978-90-481-8785-0

ΒΚΠ - Πατρα: Unknown

Holdings details from ΒΚΠ - Πατρα: Unknown
Call Number: Unknown
Copy Unknown Available

Similar Items