BibSonomy :: user :: a_olympia ::

tag user group author concept BibTeX key search:all search:a_olympia

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password:	login · register

bookmarks

(3)

<< < 1 > >>

The Theory Underlying Concept Maps and How to Construct Them
to information concept knowledge theory mapping Usability education ToRead Logic concept-mapping visualization tools article maps web2.0 map mindmap by a_olympia and 4 other people on Jun 19, 2007, 12:39 PM
spam
0610067v3.pdf (application/pdf-Objekt)
to semantic logic by a_olympia on May 1, 2007, 7:25 AM
spam
"Logic bomb" backfires on hacker - Yahoo! News
Wed Dec 13, 6:02 PM ET NEW YORK (Reuters) - A former UBS PaineWebber (UBSN.VX) employee was sentenced to eight years in prison on Wednesday for planting a...Wed Dec 13, 6:02 PM ET NEW YORK (Reuters) - A former UBS PaineWebber (UBSN.VX) employee was sentenced to eight years in prison on Wednesday for planting a computer "logic bomb" on company networks and betting its stock would go down. ADVERTISEMENT The i
to Logic stock bomb bet verurteilung down wette go by a_olympia on Dec 14, 2006, 1:19 PM
spam

<< < 1 > >>bookmarks per page: 5 10 20 50 100

publications

(8)

<< < 1 > >>

Hilbert's Programs: 1917--1922
Wilfried Sieg The Bulletin of Symbolic Logic5(1):1--44(199)
to programs hilbert logic by a_olympia on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam
Tarskian semantics, or no notation without denotation]
D. Mcdermott (1986)
to semantics notation logic by a_olympia on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam
Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic
Richard Zach The Bulletin of Symbolic Logic5(3):331--366(1999)
to propositional bernays hilbert logic by a_olympia and 1 other person on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam
19th Century Logic between Philosophy and Mathematics
Volker Peckhaus The Bulletin of Symbolic Logic5(4):433--450(1999)
to philosophy mathematics logic by a_olympia and 1 other person on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam
The logic of entanglement
Bob Coecke March2004.
to entanglement logic by a_olympia and 1 other person on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam
Toward a More Natural Expression of Quantum Logic with Boolean Fractions
Philip Calabrese Journal of Philosophical Logic34(4):363--401August2005.
to with quantum fractions boolean logic by a_olympia on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam
Symmetry and Paradox
Stephen Read History and Philosophy of Logic27(4):307--318November2006.
to buridan paradox truthteller sorensen liar ardine symmetry logic by a_olympia on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam
Complete Sequent Calculi for Induction and Infinite Descent
James Brotherson and Alex Simpson (2007)
to cutelimination complete sequent culi induction pnc calculi logic by a_olympia on Aug 18, 2007, 1:22 PM
URL | BibTeX | spam

<< < 1 > >>publications per page: 5 10 20 50 100