Sciweavers

12745 search results - page 102 / 2549
» Automating test automation
Sort
View
FTP
1998
Springer
15 years 8 months ago
An Equational Re-engineering of Set Theories
Andrea Formisano, Eugenio G. Omodeo
CSL
1997
Springer
15 years 8 months ago
Resolution and the Weak Pigeonhole Principle
Samuel R. Buss, Toniann Pitassi
ECSQARU
1997
Springer
15 years 8 months ago
A Coherence-Based Approach to Default Reasoning
Salem Benferhat, Laurent Garcia