Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings.

(Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)

Call No. (NDL): M17-14-1560
Bibliographic ID of National Diet Library: 025128039

Material type: 図書

Author: LPAR (Conference) (19th : 2013 : Stellenbosch, South Africa)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: xiv, 794 p. ; 24 cm.

NDC: -

View Details

Notes on use

Note (General)：: Papers.

Other physical details：: ill.

Related materials as well as pre- and post-revision versions

http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026920582&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA：Inhaltsverzeichnis

Inhaltstext

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: 9783642452215 (e-ISBN)
9783642452208
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings.
Series Title: Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science. Advanced research in computing and software science.
Lecture notes in computer science ; 8312.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: LPAR (Conference) (19th : 2013 : Stellenbosch, South Africa)
McMillan, Ken.
Middeldorp, Aart.
Voronkov, A. (Andreĭ), 1959-
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xiv, 794 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: LPAR-19 2013.
LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa.
Place of Publication (Country Code): DE
Text Language Code: eng
Genre/Form Terms: Kongress--Stellenbosch--2013.
Subject Heading: Logic programming--Congresses.
Artificial intelligence--Congresses.
Automatic theorem proving--Congresses.
Automatisches Beweisverfahren.
Künstliche Intelligenz.
Logische Programmierung.
Programmierlogik.
NDLC: M17
Target Audience: 一般
Note (General): Papers.
Note (Bibliography): Includes bibliographical references and author index.
Publisher No.: Best.-Nr.: 86352516
Holding library: 国立国会図書館
Call No.: M17-14-1560
Related Material: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026920582&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA : Inhaltsverzeichnis
Inhaltstext
http://deposit.d-nb.de/cgi-bin/dokserv?id=4505715&prov=M&dok_var=1&dok_ext=htm
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025128039
http://id.ndl.go.jp/bib/025128039
OCLC No.: 872033684
https://www.worldcat.org/oclc/872033684
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215

See Less