Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings
CiNii
Available at 1 libraries
Bibliographic Information
- Title
- "Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings"
- Statement of Responsibility
- Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.)
- Publisher
-
- Springer
- Publication Year
-
- c2013
- Book size
- 24 cm
- Series Name / No
-
- : pbk
Search this Book/Journal
Notes
Includes bibliographical references and author index
Also issued online
- Tweet
Details 詳細情報について
-
- CRID
- 1130000794572016896
-
- NII Book ID
- BB24488956
-
- ISBN
- 9783642452208
-
- Text Lang
- en
-
- Country Code
- gw
-
- Title Language Code
- en
-
- Place of Publication
-
- Heidelberg
-
- Classification
-
- DC23: 006.3
-
- Subject
-
- LCSH: Logic programming -- Congresses
- LCSH: Artificial intelligence -- Congresses
- LCSH: Automatic theorem proving -- Congresses
- FREE: LPAR
- FREE: Reasoning
-
- Data Source
-
- CiNii Books