Sciweavers

11065 search results - page 220 / 2213
» Education
Sort
View
CORR
2004
Springer
101views Education» more  CORR 2004»
15 years 7 months ago
A Framework for Interoperability
Kathleen Fisher, Riccardo Pucella, John H. Reppy
CORR
2004
Springer
81views Education» more  CORR 2004»
15 years 7 months ago
Non-Termination Inference of Logic Programs
Étienne Payet, Frédéric Mesna...
CORR
2004
Springer
106views Education» more  CORR 2004»
15 years 7 months ago
CrocoPat 2.1 Introduction and Reference Manual
Dirk Beyer, Andreas Noack