מאמר העוסק במדיניות של האיחוד האירופאי בנושא של Learning Everywhere המתקיים לאורך החיים ובכל מקום.
במאמר בין היתר הוגדרו דפוסי למידה פורמליים ולא פורמליים. הושם דגש על למידה לאורך כל החיים "מעריסה לזיקנה" . האתר נמצא באמצעות חיפוש
google ב
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed 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 Technische Universität München (Tobias Nipkow). See the Isabelle overview for a brief introduction. Now available: Isabelle2008 Some notable improvements: * HOL: significant speedup of Metis prover; proper support for multithreading. * HOL: new version of primrec command supporting type-inference and local theory targets. * HOL: improved support for termination proofs of recursive function definitions. * New local theory targets for class instantiation and overloading. * Support for named dynamic lists of theorems.
This page represents the current state of an ongoing effort to collect information about existing automated reasoning systems. One objective is to provide concise useful information for people who have need for such a system and don't want to `roll their own'. Another objective is to provide a single place where information about existing systems can be accessed, thus providing an overview of the state of the art.
H. Hung, and S. Wang. Biometrical journal. Biometrische Zeitschrift, 52 (6):
747-56(December 2010)5861<m:linebreak></m:linebreak>Comparacions múltiples.
G. Stumme. Conceptual Structures: Knowledge Representation as Interlingua Proc. ICCS'96, volume 1115 of LNAI, page 308-320. Heidelberg, Springer, (1996)
S. Prediger, and G. Stumme. Proc. 6th Intl. Workshop Knowledge Representation Meets Databases (KRDB'99), CEUR Workshop Proc. 21, (1999)Also in: P. Lambrix et al (Eds.): Proc. Intl. Workshop on Description Logics (DL'99). CEUR Workshop Proc. 22, 1999 http://ceur-ws.org/Vol-21.