Sciweavers

12981 search results - page 31 / 2597
» Artificial Intelligence
Sort
View
114
Voted
ICLA
2009
Springer
15 years 12 months ago
Some Second Order Set Theory
Joel David Hamkins
113
Voted
ICLA
2009
Springer
15 years 12 months ago
Game Quantification Patterns
Dietmar Berwanger, Sophie Pinchinat
ICLA
2009
Springer
15 years 12 months ago
An Analytic Logic of Aggregation
Patrick Girard, Jeremy Seligman
124
Voted
ICLA
2009
Springer
15 years 12 months ago
A Unified Framework for Certificate and Compilation for QBF
Igor Stéphan, Benoit Da Mota