Daniel Leivant – författare
Visar alla böcker från författaren Daniel Leivant. Handla med fri frakt och snabb leverans.
5 produkter
Logic and Computational Complexity
International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
Häftad, 1995
568 kr
Lägg i varukorg
This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The synergy between logic and computational complexity has gained importance and vigor in recent years, …
Logic, Language, Information and Computation
14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Av Daniel Leivant, Ruy de Queiroz
Häftad, 2007
552 kr
Lägg i varukorg
Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming …
Logic, Language, Information and Computation
14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Av Ruy de Queiroz, Daniel Leivant
E-bok, 2007
755 kr
Lägg i varukorg
Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming …
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Av Valeria de Paiva, Ruy de Queiroz m. fl.
Häftad, 2015
456 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 …
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Av Anjolina G. de Oliveira, Daniel Leivant m. fl.
E-bok, 2015
588 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The …
