Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006, Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of the 31st International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
The papers are organized along a set of thematic tracks: program analysis... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 14th European Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Rewriting, and Concurrency: Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday (Bog, Paperback / softback, Engelsk)
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
