Sciweavers

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