Search Sciweavers | Sciweavers

4401 search results - page 108 / 881

» Computing with Default Logic

click to vote

SAC
2010
ACM

130views Applied Computing» more SAC 2010»

Query systems in similarity-based databases: logical foundations, expressive power, and completeness

14 years 2 months ago

Download vychodil.inf.upol.cz

Radim Belohlávek, Vilém Vychodil

claim paper

Read More »

click to vote

SLIP
2003
ACM

74views Computer Networks» more SLIP 2003»

Understanding metrics in logic synthesis for routability enhancement

14 years 2 months ago

Download www.sliponline.org

Victor N. Kravets, Prabhakar Kudva

claim paper

Read More »

click to vote

NEUROSCIENCE
2001
Springer

257views Applied Computing» more NEUROSCIENCE 2001»

Connectionist Propositional Logic

14 years 1 months ago

Download www.aaai.org

Daniel Kustrin, Jim Austin

claim paper

Read More »

click to vote

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

14 years 1 months ago

Download www.cis.uni-muenchen.de

Hans Leiß

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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers