Sciweavers

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