BibSonomy publications for /author/Konev http://www.bibsonomy.org/author/Konev BibSonomy RSS Feed for /author/Konev The Annual SUMO Reasoning Prizes at CASC. dblp http://www.bibsonomy.org/bibtex/2317b331b1b635f9cb74d0bb5a9d1cbe0/dblp dblp 2008-11-04T00:00:00+01:00 dblp
The Annual SUMO Reasoning Prizes at CASC.
Adam Pease and Geoff Sutcliffe and Nick Siegel and Steven Trac PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> Mechanized Reasoning for Continuous Problem Domains (Invited Talk). dblp http://www.bibsonomy.org/bibtex/23d927cdc2c8cc5b638b5203a8576792f/dblp dblp 2008-11-04T00:00:00+01:00 dblp
Mechanized Reasoning for Continuous Problem Domains (Invited Talk).
Rob Arthan PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> Bit Inference. dblp http://www.bibsonomy.org/bibtex/20d92db2889f849bad03b8bab262dda3e/dblp dblp 2008-11-04T00:00:00+01:00 dblp
Bit Inference.
Nachum Dershowitz PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> A Small Framework for Proof Checking. dblp http://www.bibsonomy.org/bibtex/21aa1f93cef65cf95d221dc58dcd5eee9/dblp dblp 2008-11-04T00:00:00+01:00 dblp
A Small Framework for Proof Checking.
Hans de Nivelle and Piotr Witkowski PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> Combining Theorem Proving with Natural Language Processing. dblp http://www.bibsonomy.org/bibtex/2182ededdb7def994a78e9015e0f9de4c/dblp dblp 2008-11-04T00:00:00+01:00 dblp
Combining Theorem Proving with Natural Language Processing.
Björn Pelzer and Ingo Gloeckner PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> Evaluation of Systems for Higher-order Logic (ESHOL). dblp http://www.bibsonomy.org/bibtex/2c9c41c729b449329959465f9bdbefe40/dblp dblp 2008-11-04T00:00:00+01:00 dblp
Evaluation of Systems for Higher-order Logic (ESHOL).
Christoph Benzmüller and Florian Rabe and Carsten Schuermann and Geoff Sutcliffe PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> randoCoP: Randomizing the Proof Search Order in the Connection Calculus. dblp http://www.bibsonomy.org/bibtex/28836a3f2a49e9c1d0b4f0920c269a8a3/dblp dblp 2008-11-04T00:00:00+01:00 dblp
randoCoP: Randomizing the Proof Search Order in the Connection Calculus.
Thomas Raths and Jens Otten PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> Integration of the TPTPWorld into SigmaKEE. dblp http://www.bibsonomy.org/bibtex/2e6abd0ce6062dd62d123eb9a413992e1/dblp dblp 2008-11-04T00:00:00+01:00 dblp
Integration of the TPTPWorld into SigmaKEE.
Steven Trac and Geoff Sutcliffe and Adam Pease PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> Contextual Rewriting in SPASS. dblp http://www.bibsonomy.org/bibtex/228e14187bab331dbf190155ea31c6e3d/dblp dblp 2008-11-04T00:00:00+01:00 dblp
Contextual Rewriting in SPASS.
Christoph Weidenbach and Patrick Wischnewski PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]> Collaborative Programming: Applications of Logic and Automated Reasoning. dblp http://www.bibsonomy.org/bibtex/2392469632ecb3399a546aee5d7ff50a0/dblp dblp 2008-11-04T00:00:00+01:00 dblp
Collaborative Programming: Applications of Logic and Automated Reasoning.
Timothy L. Hinrichs PAAR/ESHOL (2008)
to dblp by dblp on 2008-11-04 00:00:00
]]>