Sciweavers

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