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.).
2017
QA9.A1 W67 2017eb
Linked e-resources
Linked Resource
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
ISBN
9783662553862 (electronic book)
3662553864 (electronic book)
9783662553855
3662553864 (electronic book)
9783662553855
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.
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).
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.
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
Record Appears in
Table of Contents
Logic and Language
Logic and Information
Computation
Mathematical Logic
Theory of Computation
Model Theory.
Proof Theory
Type Theory. Computability Theory.
Complexity Theory.
Logic and Information
Computation
Mathematical Logic
Theory of Computation
Model Theory.
Proof Theory
Type Theory. Computability Theory.
Complexity Theory.