LPAR (2001 :)
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic for programming, artificial intelligence, and reasoning = 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
by:
Nieuwenhuis, Robert.; Voronkov, Andrei.; SpringerLink (Online service); LPAR (2001 :)
(書目-語言資料,印刷品)