Sciweavers

Share
905 search results - page 2 / 181
» A Spectrum of Applications of Automated Reasoning
Sort
View
ILP
2001
Springer
9 years 2 months ago
Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition
Rene Quiniou, Marie-Odile Cordier, Guy Carrault, F...
LICS
1998
IEEE
9 years 2 months ago
A Theory of Recursive Domains with Applications to Concurrency
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
CADE
2008
Springer
9 years 10 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
books