13383 search results - page 53 / 2677 » Abstractions from proofs |
SAS
2009
Springer
14 years 10 months ago
2009
Springer
Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
ASAP
2010
IEEE
13 years 11 months ago
2010
IEEE
urrence abstractions Arpith C. Jacob Jeremy D. Buhler Roger D. Chamberlain Arpith C. Jacob, Jeremy D. Buhler, and Roger D. Chamberlain, "Design of ut-optimized arrays from rec...
COGSCI
2008
13 years 10 months ago
2008
fs Between Grounded and Abstract Representations: Evidence From Algebra Problem Solving Kenneth R. Koedingera, Martha W. Alibalib, Mitchell J. Nathanc a Human
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
SC
2005
ACM
14 years 3 months ago
2005
ACM
ng Abstractions from Resources in a Tactical Storage System Douglas Thain† , Sander Klous∗ , Justin Wozniak† , Paul Brenner† , Aaron Striegel† , Jesus Izaguirre† † - ...