Sciweavers

262 search results - page 17 / 53
» Introduction to GPU programming
Sort
View
FUIN
2007
220views more  FUIN 2007»
14 years 9 months ago
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Joost Vennekens, Johan Wittocx, Maarten Marië...
53
Voted
JSC
2002
51views more  JSC 2002»
14 years 9 months ago
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
Christian Bauer, Alexander Frink, Richard Kreckel