×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [order predicates]
Documents
Formal Method for Avionics Software Verification
3.351 views
Documents
On the Semantics of Existence Predicates
8 views
Documents
Universal Tendencies in the Semantics of the Diminutive
44 views
Documents
1 Transfer Learning Site Visit August 4, 2006 Report of the ISLE Team Pat Langley Tom Fawcett Daniel Shapiro Institute for the Study of Learning and Expertise
213 views
Documents
Planning Chapter 11 Yet another popular formulation for AI – Logic-based language – One of the most structured formulations Can be translate into less
216 views
Documents
Refinement Type Inference via Horn Constraint Optimization Kodai Hashimoto and Hiroshi Unno (University of Tsukuba, Japan)
224 views