Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book)

Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book) - Berlin Springer 2010 - lncs v.6188 LNCS Sublibrary : SL 7 – Artificial Intelligence .

978-3-642-13824-9


Computer Science and Engineering
Logic, Symbolic and mathematical--Congresses
Formal methods (Computer science)--Congresses
Algebra-Data processing--Congresses
Computational complexity--Congresses

Powered by Koha