Logic and its applications : 6th Indian conference, ICLA 2015 : Mumbai, India, January 8-10, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8923)

Logic and its applications : 6th Indian conference, ICLA 2015 : Mumbai, India, January 8-10, 2015 : proceedings : Jan 2015, Mumbai, India.

(Lecture Notes in Computer Science ; 8923)

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

Material type: 図書

Author: ICLA 2015 (6th : 2015 : Mumbai, India)ほか

Publisher: Springer

Publication date: [2015]

Material Format: Paper

Capacity, size, etc.: x, 231 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."ICLA is a biennial conference ..."--Preface.

Other physical details：: illustrations

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: 9783662458235
3662458233
ISBN (error code): 9783662458242 electronic bk.
3662458241 electronic bk.
ISSN (series): 0302-9743
Title: Logic and its applications : 6th Indian conference, ICLA 2015 : Mumbai, India, January 8-10, 2015 : proceedings : Jan 2015, Mumbai, India.
Series Title: Lecture Notes in Computer Science ; 8923
Title Heading: Lecture notes in computer science ; 8923.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: ICLA 2015 (6th : 2015 : Mumbai, India)
Banerjee, Mohua.
Krishna, Shankara Narayanan.
Publication, Distribution, etc.: Heidelberg : Springer (出版)
Publication Date (W3CDTF): 2015
Extent: x, 231 pages
Other physical details: illustrations
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.
Logic, Symbolic and mathematical.
LCC: QA9.A1
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"ICLA is a biennial conference ..."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1316
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026016897
http://id.ndl.go.jp/bib/026016897
OCLC No.: 907346855
https://www.worldcat.org/oclc/907346855
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215