Search Sciweavers | Sciweavers

4401 search results - page 108 / 881

» Computing with Default Logic

142

click to vote

SAC
2010
ACM

130views Applied Computing» more SAC 2010»

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

15 years 9 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

15 years 9 months ago

Download www.sliponline.org

Victor N. Kravets, Prabhakar Kudva

claim paper

Read More »

132

click to vote

NEUROSCIENCE
2001
Springer

257views Applied Computing» more NEUROSCIENCE 2001»

Connectionist Propositional Logic

15 years 8 months ago

Download www.aaai.org

Daniel Kustrin, Jim Austin

claim paper

Read More »

100

click to vote

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

15 years 8 months ago

Download www.cis.uni-muenchen.de

Hans Leiß

claim paper

Read More »

111

Voted

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers