Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4401
search results - page 108 / 881
»
Computing with Default Logic
Sort
relevance
views
votes
recent
update
View
thumb
title
31
click to vote
SAC
2010
ACM
130
views
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 »
21
click to vote
SLIP
2003
ACM
74
views
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 »
32
click to vote
NEUROSCIENCE
2001
Springer
257
views
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 »
23
click to vote
TLCA
2001
Springer
85
views
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 »
28
click to vote
STACS
1998
Springer
87
views
Theoretical Computer Science
»
more
STACS 1998
»
Optimal Proof Systems for Propositional Logic and Complete Sets
14 years 1 months ago
Download
www.uni-ulm.de
Jochen Meßner, Jacobo Torán
claim paper
Read More »
« Prev
« First
page 108 / 881
Last »
Next »