Catalog

Record Details

Catalog Search



Logic, Language, Information and Computation [electronic resource] : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz.

Ong, Luke. (editor.). Queiroz, Ruy. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642326219
  • Physical Description: XII, 337 p. 49 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: Computer science.
Computer software.
Logic design.
Computational complexity.
Algebra > Data processing.
Computer Science.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Symbolic and Algebraic Manipulation.

Additional Resources