Search Sciweavers | Sciweavers

2067 search results - page 27 / 414

» Logics of propositional control

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

15 years 7 months ago

Download www.cl.cam.ac.uk

Ben C. Moszkowski

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 6 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

114

click to vote

NEUROSCIENCE
2001
Springer

257views Applied Computing» more NEUROSCIENCE 2001»

Connectionist Propositional Logic

15 years 6 months ago

Download www.aaai.org

Daniel Kustrin, Jim Austin

claim paper

Read More »

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 5 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

117

click to vote

KDD
1994
ACM

92views Data Mining» more KDD 1994»

The Discovery of Logical Propositions in Numerical Data

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers