Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /

Bibliographic Details
Corporate Author: LPAR 2010 Yogyakarta, Indonesia
Other Authors: Fermüller, C. (Christian), 1963-, Voronkov, Andrei, 1959-
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, 2010.
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 6397.
Lecture notes in computer science. Advanced research in computing and software science.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.63
 
Call Number Status Get It
QA76.63 Available