Lifschitz, Vladimir.

Answer set programming by: Lifschitz, Vladimir.; SpringerLink (Online service) (書目-電子資源)

Logic programming = 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / by: Demoen, Bart.; Lifschitz, Vladimir.; SpringerLink (Online service); International Conference on Logic Programming (2004) (書目-語言資料,印刷品)

Handbook of knowledge representation by: Lifschitz, Vladimir.; Porter, Bruce, (1956-); Van Harmelen, Frank.; ScienceDirect (Online service) (書目-電子資源)

Logic programming = 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / by: Demoen, Bart.; Lifschitz, Vladimir.; NetLibrary, Inc.; International Conference on Logic Programming (2004) (書目-語言資料,印刷品)

Logic programming and nonmonotonic reasoning = 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / by: Lifschitz, Vladimir.; Niemel醀, Ilkka, (1961-); NetLibrary, Inc.; LPNMR 2004 ((2004 :) (書目-語言資料,印刷品)