Your search returned 2 results.

Results
		Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book) by Dawar, Anuj [Editor] \| Queiroz, Ruy de [Editor]. Series: lncs ; v.6188 \| LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Computer science logic : 24th international workshop : proceedings, CSL, 19th annual conference of the EACSL, Brno, Czech Republic, Aug. 23-27, 2010 (e-book) by Dawar, Anuj [Editor] \| Veith, Helmut [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6247 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search