Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-1

book

発売日

: 2010年

著者/編集

: Christian G. Fermller/Andrei Voronkov

出版社

: SPRINGER NATURE

価格

: 30,008

ISBN

: 9783642162411