vme64's logic [5 articles]

当前文献位于 vme64's 文献库标签分类为 logic. You can also see everyone's logic.

(2003), pp. 43-95.

by Franz Baader, Werner Nutt

posted to logic by vme64 on 2006-03-18 13:04:45 as

Journal of Logic Programming, Vol. 19/20 (1994), pp. 9-71.

by Krzysztof R Apt, Roland N Bol

posted to logic naf negation by vme64 on 2006-02-10 12:43:58 as

Lecture Notes in Artificial Intelligence, Vol. 1265 (1997), pp. 431-441.

by Prasad Rao, Konstantinos F Sagonas, Terrance Swift, David S Warren, Juliana Freire

edited by Dix

posted to logic by vme64 on 2005-12-13 13:50:03 as read

Vol. 3298 (November 2004)

edited by Sheila A Mcilraith, Dimitris Plexousakis, Frank van Harmelen

posted to contexts logic semantic_web by vme64 on 2005-10-29 12:05:33 as

(1994), pp. 353-395.

by Donald Nute

edited by Dov Gabbay, Christopher J Hogger, JA Robinson

posted to logic by vme64 on 2005-10-29 12:04:58 as

◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/vme64/tag/logic

vme64's tags