Location & Availability for: Logic, Language, Information and Computa

 Staff view

You must be logged in to Tag Records

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.

Book Cover
Names: Ong, Luke. | Queiroz, Ruy.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: Lecture Notes in Computer Science, 7456
Topics: 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.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Logic, Language, Information and Computa