<--- Back to Details
First PageDocument Content
Abstraction / Theoretical computer science / Lambda calculus / Software engineering / Cognitive science / Models of computation / Logic in computer science / Data management / Combinatory logic / Factory / Deductive lambda calculus
Date: 2003-03-11 03:26:58
Abstraction
Theoretical computer science
Lambda calculus
Software engineering
Cognitive science
Models of computation
Logic in computer science
Data management
Combinatory logic
Factory
Deductive lambda calculus

1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()

Add to Reading List

Source URL: barzilay.org

Download Document from Source Website

File Size: 614,82 KB

Share Document on Facebook

Similar Documents

WHITEPAPER v2.0  VETRI VALUE YOUR DATA  VETRI is taking personal data management to the next level. At the core is a user-controlled digital identity solution allowing people to transact online securely and seamlessly wh

WHITEPAPER v2.0 VETRI VALUE YOUR DATA VETRI is taking personal data management to the next level. At the core is a user-controlled digital identity solution allowing people to transact online securely and seamlessly wh

DocID: 1xVOA - View Document

Privacy Policy Privacy Policy We are very delighted that you have shown interest in our enterprise. Data protection is of a particularly high priority for the management of the OXIAL. The use of the Internet pages of the

Privacy Policy Privacy Policy We are very delighted that you have shown interest in our enterprise. Data protection is of a particularly high priority for the management of the OXIAL. The use of the Internet pages of the

DocID: 1xVht - View Document

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document

Twelfth USA/Europe Air Traffic Management Research and Development Seminar (ATM2017)  Topics and Trends in Incident Reports Using Structural Topic Modeling to Explore Aviation Safety Reporting System Data  Kenneth D. Kuh

Twelfth USA/Europe Air Traffic Management Research and Development Seminar (ATM2017) Topics and Trends in Incident Reports Using Structural Topic Modeling to Explore Aviation Safety Reporting System Data Kenneth D. Kuh

DocID: 1xUpP - View Document

DeepConf: Automating Data Center Network Topologies Management with Machine Learning Saim Salman Christopher Streiffer

DeepConf: Automating Data Center Network Topologies Management with Machine Learning Saim Salman Christopher Streiffer

DocID: 1xUbW - View Document