Blick ins Buch

Logic, Language, Information, and Computation

25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez (Herausgeber)

Buch | Softcover

XVIII, 325 Seiten

2018
Springer Berlin (Verlag)
9783662576687 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.

Pure and applied logic. Formal Logic. Computing and Programming Theory. Natural Language and Reasoning.

Erscheinungsdatum	28.07.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XVIII, 325 p. 29 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	523 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Applications • Artificial Intelligence • Computer Science • conference proceedings • Differential Equations • Formal Logic • Informatics • Modal Logic • Numerical Methods • Problem Solving • Programming language • Programming Languages • Research • satisfiablitly problems • satisfiablity • Software engineering • specifictions
ISBN-13	9783662576687 / 9783662576687
Zustand	Neuware