Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by RuydeQueiroz (Editor), Lev D. Beklemishev (Editor)

Synopsis

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.

$70.79

Quantity

10 in stock

More Information

Format: Paperback
Pages: 321
Edition: 1st Edition.
Publisher: Springer
Published: 02 May 2011

ISBN 10: 364220919X
ISBN 13: 9783642209192