Logic for programming, artificial intelligence and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15 2012 : proceedings

著者

• LPAR (Conference) (18th : 2012 : Mérida, Venezuela)
• Björner, Nikolaj
• Voronkov, Andrei

書誌事項

Logic for programming, artificial intelligence and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15 2012 : proceedings

Nikolaj Bjørner, Andrei Voronkov

（Lecture notes in computer science, 7180 . Advanced research in computing and software science (ARCoSS) . LNCS sublibrary ; SL 1, Theoretical computer science and general issues）

Springer, c2012

• pbk.

タイトル別名

LPAR-18

注記

Includes bibliographical references and author index

Also issued online

内容説明・目次

内容説明

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB24488129
• ISBN:
  • 9783642287169
• LCCN: 2012932595
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Heidelberg
• ページ数/冊数: xi, 446 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 006.3
• 件名:
  • LCSH : Logic programming -- Congresses
  • LCSH : Artificial intelligence -- Congresses
  • LCSH : Automatic theorem proving -- Congresses
  • FREE : LPAR
  • FREE : Reasoning
• 親書誌ID:
  • BA00009279