Sciweavers

Share ➚
3724 search results - page 1 / 745
» Logical Reasoning
Sort
View
CADE
1994
Springer
83views Logical Reasoning» more  CADE 1994»
The QED Manifesto
1 years 9 months ago
The QED Manifesto
Download  www.cse.chalmers.se
claim paper
Read More »
CADE
2009
Springer
138views Logical Reasoning» more  CADE 2009»
Instantiation-Based Automated Reasoning: From Theory to Practice
1 years 6 months ago
Instantiation-Based Automated Reasoning: From Theory to Practice
Download  www.cs.man.ac.uk
Konstantin Korovin
claim paper
Read More »
CADE
2010
Springer
123views Logical Reasoning» more  CADE 2010»
On Hierarchical Reasoning in Combinations of Theories
1 years 3 months ago
On Hierarchical Reasoning in Combinations of Theories
Download  www.mpi-inf.mpg.de
Carsten Ihlemann, Viorica Sofronie-Stokkermans
claim paper
Read More »
CADE
1997
Springer
91views Logical Reasoning» more  CADE 1997»
Nuprl-Light: An Implementation Framework for Higher-Order Logics
1 years 9 months ago
Nuprl-Light: An Implementation Framework for Higher-Order Logics
Download  files.metaprl.org
Jason J. Hickey
claim paper
Read More »
CADE
2010
Springer
138views Logical Reasoning» more  CADE 2010»
Tractable Extensions of the Description Logic EL with Numerical Datatypes
1 years 6 months ago
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Download  www.comlab.ox.ac.uk
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
claim paper
Read More »
Spread the Word
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books