×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [local reasoning]
Technology
Synergy of Human and Artificial Intelligence in Software Engineering
3.946 views
Technology
SBQS 2013 Keynote: Cooperative Testing and Analysis
628 views
Documents
Universität Innsbruck Leopold Franzens Copyright 2006 DERI Innsbruck LarCK Workshop, ISWC/ASWC 2007 - Busan, Korea 16-Feb-14 Towards Scalable
214 views
Documents
1 Vanderbilt Univ. ONR Project Assessing Student Understanding of Electrical Concepts to Inform Instructional Decisions Gautam Biswas, Dan Schwartz Bharat
215 views
Documents
toplas
214 views
Documents
Industrial Applications of Constraint Based Scheduling Helmut Simonis Parc Technologies Ltd IC-Parc, Imperial College London Helmut Simonis Parc Technologies
225 views
Documents
Name of Principal Author and all other author(s):
46 views
Documents
Adjunct Elimination in Context Logic for Trees
50 views