Logic, language, information and computation : 18th international workshop, WoLLIC 2011 : Philadelphia, PA, USA, May 18-20, 2011 : proceedings. : May 2011, Philadelphia, PA. (Lecture Notes in Computer Science ; 6642. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 18th international workshop, WoLLIC 2011 : Philadelphia, PA, USA, May 18-20, 2011 : proceedings. : May 2011, Philadelphia, PA.

(Lecture Notes in Computer Science ; 6642. Lecture Notes in Artificial Intelligence)

Call No. (NDL): M17-11-2320
Bibliographic ID of National Diet Library: 000011202530

Material type: 図書

Author: Beklemishev, Lev Dmitrievich, 1967-ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: x, 309 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers.

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: 9783642209192
9783642209208 (e-ISBN)
ISSN: 1611-3349 (e-ISSN)
ISSN (series): 0302-9743
Title: Logic, language, information and computation : 18th international workshop, WoLLIC 2011 : Philadelphia, PA, USA, May 18-20, 2011 : proceedings. : May 2011, Philadelphia, PA.
Series Title: Lecture Notes in Computer Science ; 6642. Lecture Notes in Artificial Intelligence
Author Heading: Beklemishev, Lev Dmitrievich, 1967-
Queiroz, Ruy J. G. B. de.
Workshop on Logic, Language, Information and Computation (18th : 2011 : Philadelphia, Pa.)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: x, 309 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer logic -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Formal methods (Computer science) -- Congresses.
Electronic books.
LCC: QA76.9.L63
NDLC: M17
Note (General): Abstracts and papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-11-2320
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011202530
http://id.ndl.go.jp/bib/000011202530
OCLC No.: 732956257
https://www.worldcat.org/oclc/732956257
Bibliographic Record Category (NDL): 215