Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.).
Workshop on Logic, Language, Information and Computation (24th : 2017 : London, England); Kennedy, Juliette, 1955- editor.; Queiroz, Ruy J. G. B. de. editor.
2017
QA9.A1 W67 2017eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.).
Meeting Name Workshop on Logic, Language, Information and Computation (24th : 2017 : London, England)
ISBN 9783662553862 (electronic book)
3662553864 (electronic book)
9783662553855
DOI https://doi.org/10.1007/978-3-662-55386-2
Published Berlin, Germany : Springer, 2017.
Language English
Description 1 online resource (x, 401 pages) : illustrations.
Item Number 10.1007/978-3-662-55386-2 doi
Call Number QA9.A1 W67 2017eb
Dewey Decimal Classification 005.13/1
Summary Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. .
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 14, 2017).
Added Author Kennedy, Juliette, 1955- editor.
Queiroz, Ruy J. G. B. de. editor.
Series Lecture notes in computer science ; 10388. 0302-9743
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783662553855
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Logic and Language
Logic and Information
Computation
Mathematical Logic
Theory of Computation
Model Theory.
Proof Theory
Type Theory. Computability Theory.
Complexity Theory.

Browse Subjects

Show more subjects...

Statistics

from
to
Export