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)

• New

  Paperback
  2011

  $71.42

  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.