Logic programming, knowledge representation, and nonmonotonic reasoning: essays dedicated to Michael Gelfond on the occasi…
by Balduccini, Marcello, Son, Tran Cao, Gelfond, Michael, Symposium on Constructive Mathematics in Computer Science, Lexington, Ky.)
fromLecture Notes in Computer Science
0
Type: Book