Back to Results
First PageMeta Content
Logical syntax / Stanford University / Philosophical logic / Mathematical logic / Education Program for Gifted Youth / Mathematical proof / Theorem / Formal proof / Calculus / Logic / Mathematics / Automated theorem proving


Document Date: 2002-07-21 00:10:46

Open Document

File Size: 104,19 KB

Share Result on Facebook

City

New York / /

/

Facility

Gifted Youth Stanford University / Physics University of California Davis / Stanford University / /

IndustryTerm

broadcast tool / years developing software / proof-writing tool / technology-enhanced environment / media-distributed learning / course software / written solutions / stand-alone multi-media computer-based courses / stand-alone multi-media computer-based distancelearning mathematics / internet telephony / /

Organization

University of California / Alfred P. Sloan Foundation / Gifted Youth Stanford University USA / Charles DeLeone Department / Stanford University / /

Person

Stanford Continuing / Charles DeLeone / Gary Oas / Marc Sanders / Richard Sommer / /

Position

author / lecturer / good forward / student/teacher / /

ProgrammingLanguage

Mathematica / /

ProvinceOrState

New York / /

SportsLeague

Stanford University / /

Technology

IP telephony / Thermodynamics / animation / distance learning / /

SocialTag