|
|
libcats.org
Logic, Language, Information and Computation, 15 conf., WoLLIC 2008Wilfrid Hodges, Ruy de QueirozEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
Скачать книгу бесплатно (pdf, 3.20 Mb)
Читать «Logic, Language, Information and Computation, 15 conf., WoLLIC 2008» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Eliciting and Analyzing Expert Judgment: A Practical Guide (ASA-SIAM Series on Statistics and Applied Probability)Автор: Mary A. Meyer, Автор: Jane M. Booker
Размер книги: 3.09 Mb
Advances in Statistical Modeling and Inference: Essays in Honor of Kjell a DoksumАвтор: Vijay Nair, Автор: Vijay NairКатегория: science_books
Размер книги: 9.38 Mb
The Science of Subjective Well-BeingАвтор: Michael Eid, Автор: Randy J. LarsenКатегория: Наука (общее), Научно-популярное
Размер книги: 2.62 Mb
Luther's Lives: Two Contemporary Accounts of Martin LutherАвтор: Elizabeth Vandiver, Автор: Ralph Keen, Автор: Thomas D. Frazel
Размер книги: 4.28 Mb
Sacred Places North America: 108 Destinations (Sacred Places: 108 Destinations series)Автор: Brad Olsen
Размер книги: 16.52 Mb
Herman Melville: mariner and mysticАвтор: Raymond M. WeaverКатегория: Literature, Melville
Размер книги: 9.61 Mb
|
|
|