Sciweavers

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