Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile.

(Lecture Notes in Computer Science ; 8652)

Call No. (NDL): M17-15-1523
Bibliographic ID of National Diet Library: 026193699

Material type: 図書

Author: Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xx, 236 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers.

Other physical details：: illustrations (black and white)

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783662441442 (paperback)
3662441446 (paperback)
ISBN (error code): 9783662441459 (electronic bk.)
3662441454 (electronic bk.)
ISSN (series): 0302-9743
Title: Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile.
Series Title: Lecture Notes in Computer Science ; 8652
Title Heading: Lecture notes in computer science ; 8652.
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.
Author Heading: Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile)
Kohlenbach, U. (Ulrich)
Barceló, Pablo.
Queiroz, Ruy J. G. B. de.
Publication, Distribution, etc.: Heidelberg : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xx, 236 pages
Other physical details: illustrations (black and white)
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Logic, Symbolic and mathematical--Congresses.
Language and logic--Congresses.
Logik
Theoretische Informatik
Programmiersprache
Künstliche Intelligenz
Berechnungstheorie
Computerlinguistik
Formale Methode
Language and logic.
Logic, Symbolic and mathematical.
Language
Information
Computation
WoLLIC
LCC: QA9.A1
DDC: 005.131
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
Note (Bibliography): Includes bibliographical references and author index.
Note (Additional Physical Form Available): Also issued online.
Holding library: 国立国会図書館
Call No.: M17-15-1523
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026193699
http://id.ndl.go.jp/bib/026193699
OCLC No.: 888447572
https://www.worldcat.org/oclc/888447572
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215