×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [predicate p1]
Lecture 6
33 views
Artificial Intelligence 6. Representing Knowledge in Predicate Logic Course V231 Department of Computing Imperial College, London Jeremy Gow
215 views
Abstractions From Proofs Presented in POPL’04
45 views
An Algorithm for Probabilistic Alternating Simulation
50 views