Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.
Read More
Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.
Read Less
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
English
Alibris ID:
18136087825
Shipping Options:
Standard Shipping: $4.73
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
English
Alibris ID:
10810991457
Shipping Options:
Standard Shipping: $4.73
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Lecture Notes in Artificial Intelligence ; Lecture Notes in Computer Science . X, 311 p. Intended for professional and scholarly audience.