Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
Search
En
It
APICe login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
Publications
Clouds
tag : logic
tag : logic
2 publications
On the Unusual Effectiveness of Logic in Computer Science
(article in journal, 2001) —
Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
Foundations of Logic Programming
(book, 1984) —
John W. Lloyd
[
tag cloud
/ publications ]