We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof planner. We argue that this synergy provides a f
β¦ LIBER β¦
Mindful consumption: a customer-centric approach to sustainability
β Scribed by Jagdish N. Sheth; Nirmal K. Sethia; Shanthi Srinivas
- Publisher
- Sage Publications
- Year
- 2010
- Tongue
- English
- Weight
- 422 KB
- Volume
- 39
- Category
- Article
- ISSN
- 0092-0703
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A proof-centric approach to mathematical
β
Lucas Dixon; Jacques Fleuriot
π
Article
π
2006
π
Elsevier Science
π
English
β 330 KB
DataScalar: A memory-centric approach to
β
Stefanos Kaxiras; Doug Burger; James R. Goodman
π
Article
π
1999
π
Elsevier Science
π
English
β 607 KB
A community-centric approach to automate
β
XuanZhe Liu; Gang Huang; Hong Mei
π
Article
π
2010
π
Science in China Press (SCP)
π
English
β 665 KB
A community-centric approach to automate
β
XuanZhe Liu
π
Article
π
2010
π
Springer
π
English
β 339 KB
A βtask-centric approachβ to professiona
β
Melissa D. Boston; Margaret S. Smith
π
Article
π
2011
π
Springer-Verlag
π
English
β 270 KB
A sustainable approach to climate change
β
Stewart, Bany
π
Article
π
2007
π
John Wiley and Sons
β 544 KB
here are few issues that challenge the con-T cept of sustainable development in action as does the issue of global climate change. Today, the international community is wrestling with the enormous challenge of very significant greenhouse gas-reduction targets over a relatively short period of time.