Austhink - Critical Thinking at Work
No information avaiable
http://www.austhink.org/
popularity:
logic
argument
thinking
analysis
software
visualthinking
learning
education
tools
research
|
Isabelle
... in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and ...
similarity:
popularity:
logic
proof
software
mathematics
theorem
programming
science
math
prover
tools
|
mekentosj.com | Introducing Papers... Your personal library of science
Papers - your personal library of research. Our award-winning application that helps scientists and researchers on the Mac to manage their research articles. ...
similarity:
popularity:
software
mac
research
pdf
osx
papers
science
library
reference
tools
|
101+ Web Resources for Students | studenthacks.org
I'm in the middle of writing a lengthy paper - and I've discovered a bunch of useful websites. ... March 4th, 2008 studenthacks.org Posted in Online Resources ...
similarity:
popularity:
reference
education
resources
research
school
productivity
lists
university
tools
learning
|
Concord.org - The Concord Consortium
No information avaiable
similarity:
popularity:
education
technology
science
software
elearning
learning
research
concord
teaching
interactive
|
LAMS Foundation
LAMS is a new tool for producing online collaborative learning activities. ... Sign up for a free account for LAMS. ... Get the latest version of LAMS - v2.2 ...
similarity:
popularity:
education
elearning
e-learning
software
opensource
lms
lams
learning
tools
moodle
|
OpenCards - A free flashcard learning extension for OpenOffice Impress
No information avaiable
similarity:
popularity:
flashcards
learning
openoffice
education
software
memory
opensource
tools
language
flash
|
Literature and Latte - Scrivener
Research, scrawling fragmentary ideas that don't seem to fit anywhere yet, ... Enter Scrivener: writing software that stays with you from that first, unformed ...
similarity:
popularity:
writing
software
mac
osx
tools
productivity
apple
editor
text
research
|
The Coq proof assistant
No information avaiable
similarity:
popularity:
logic
coq
programming
proof
math
software
mathematics
ocaml
tools
language
|
Exploratree - Exploratree by FutureLab
Print them out or fill in and complete your project on the exploratree website ... Thinking guides are tools or frameworks for thinking through an issue ...
similarity:
popularity:
mindmapping
tools
visualization
web2.0
thinking
collaboration
mindmap
productivity
brainstorming
learning
|
contents @ the informal education homepage
Explores informal and community education in the U.K. and Ireland.
similarity:
popularity:
education
learning
informal
research
theory
reference
teaching
community
encyclopedia
philosophy
|