×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [disjoint predicates]
2007/9/15AIAI '07 (Aix-en-Provence, France)1 Reconsideration of Circumscriptive Induction with Pointwise Circumscription Koji Iwanuma 1 Katsumi Inoue 2
217 views
Sequence Enumeration – A Method of Rigorous Specification for Software Intensive Systems
226 views