Previous
Next
Journal
- logical methods in computer science (lmcs)3
- 2015 30th annual acm/ieee symposium on logic in computer science2
- acm transactions on computational logic2
- proceedings of the 2015 30th annual acm,ieee symposium on logic in computer science2
- acm international conference proceeding series1
- acm transactions on programming languages & systems1
- advances in spatial & temporal databases: 7th international symposium, sstd 2001 redondo beach, ca, usa, july 12-15, 2001 proceedings1
- computer science - theory & applications (9783540797081)1
- eighteenth national conference: artificial intelligence1