Infinity in logic and computation : international conference, ILC 2007 : Cape Town, South Africa, November 3-5, 2007 : revised selected papers. : Nov 2007, Cape Town, South Africa. (Lecture Notes in Computer Science ; 5489. Lecture Notes in Artificial Intelligence)

Infinity in logic and computation : international conference, ILC 2007 : Cape Town, South Africa, November 3-5, 2007 : revised selected papers. : Nov 2007, Cape Town, South Africa.

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

Call No. (NDL): M17-10-1592
Bibliographic ID of National Diet Library: 000010619810

Material type: 図書

Author: Meraka Institute.ほか

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xi, 137 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Program and revised selected papers."The conference on Infinity in Logic and Computation (ILC) (...) It was the first conference in South Africa (...)...

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: 9783642030918 (ISBN-13)
3642030912
ISSN (series): 0302-9743
Title: Infinity in logic and computation : international conference, ILC 2007 : Cape Town, South Africa, November 3-5, 2007 : revised selected papers. : Nov 2007, Cape Town, South Africa.
Series Title: Lecture Notes in Computer Science ; 5489. Lecture Notes in Artificial Intelligence
Title Heading: Lecture notes in computer science ; 5489.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Author Heading: Meraka Institute.
Archibald, Margaret.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xi, 137 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computational complexity -- Congresses.
Machine theory -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
DDC: 004n/a
NDLC: M17
Note (General): Program and revised selected papers.
"The conference on Infinity in Logic and Computation (ILC) (...) It was the first conference in South Africa (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-1592
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010619810
http://id.ndl.go.jp/bib/000010619810
OCLC No.: 428028081
https://www.worldcat.org/oclc/428028081
Bibliographic Record Category (NDL): 215