Sciweavers

17054 search results - page 41 / 3411
» Logics of Dynamical Systems
Sort
View
CADE
1998
Springer
15 years 6 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
CADE
2006
Springer
15 years 5 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma
EUSFLAT
2009
14 years 11 months ago
Training a Personal Alert System for Research Information Recommendation
Germán Hurtado Martín, Chris Corneli...