Sciweavers

15792 search results - page 58 / 3159
» Computational Abstraction Steps
Sort
View
ISSAC
2009
Springer
137views Mathematics» more  ISSAC 2009»
14 years 3 months ago
Computing with abstract matrix structures
Alan P. Sexton, Volker Sorge, Stephen M. Watt
ICLP
2007
Springer
14 years 3 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...