Searching for "Automated Reasoning" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2,876 documents found, showing 1 through 10. Next 10 →

Automated reasoning on the web
by Slim Abdennadher, José Júlio, Alves Alferes, Grigoris Antoniou, Uwe Aßmann, Rolf Backofen, Cristina Baroglio, Piero A. Bonatti, François Bry, Norbert Eisinger, Norbert E. Fuchs, Tim Geisler, Nicola Henze, Wolfgang May, Hans Jürgen Ohlbach, Sebastian Schaffert, Michael Schröder, Klaus U. Schulz, Uta Schwertel, Gerd Wagner — Communications of Applied Logic
…Automated Reasoning on the Web Slim Abdennadher 1 , José Júlio Alves Alferes 2 , Grigoris Antoniou…
Cited by 3 (3 self) – Add To MetaCart

Automated Reasoning (Bibliography)
by A. Degtyarev, A. Voronkov, Formal Techniques — 1997
… of Automated Reasoning, 1:333--355, 1985. [Vor 92] A. Voronkov. Theorem proving in non-standard logics based…
Add To MetaCart

Automated Reasoning for Computational Semantics
by Patrick Blackburn, Johan Bos, Michael Kohlhase — 1999
…Automated Reasoning for Computational Semantics Patrick Blackburn, Johan Bos, Michael Kohlhase…
Cited by 1 (0 self) – Add To MetaCart

Automated Reasoning With Nonmonotonic Logics
by Miroslaw Truszczynski
…Automated reasoning with nonmonotonic logics (INVITED TALK) Miros/law Truszczy'nski Department…
Add To MetaCart

Analogy and Automated Reasoning
by Mateja Jamnik, Mateja Jamnik — 1999
…THE UNIVERSITY OF BIRMINGHAM Analogy and Automated Reasoning Mateja Jamnik CSRP-99-14 June 1999…
Add To MetaCart

Automated Reasoning with Uncertainties
by Flávio S. Correa da Silva, D I N Bu — 1992
…Automated Reasoning with Uncertainties Fl'avio S. Correa da Silva T H E UNIVER S I T Y O F…
Cited by 7 (6 self) – Add To MetaCart

Automated reasoning in Kleene algebra
by Peter Höfner, Georg Struth — 2007 — CADE 2007, LNCS 4603
…Automated Reasoning in Kleene Algebra Peter Höfner and Georg Struth Department of Computer Science…
Cited by 4 (2 self) – Add To MetaCart

Computer Algebra and Automated Reasoning
by A.A. Adams
…Computer Algebra and Automated Reasoning A. A. Adams 1 Computer Algebra and Denite Integration My…
Add To MetaCart

The Combination Problem in Automated Reasoning
by Calogero G. Zarba, Copyright Calogero, G. Zarba, To Ann, M. Wooten — 2004
…THE COMBINATION PROBLEM IN AUTOMATED REASONING a dissertation submitted to the department…
Cited by 4 (1 self) – Add To MetaCart

Automated Reasoning on Feature Models
by David Benavides Pablo, Pablo Trinidad, Antonio Ruiz-cortés — 2005 — LNCS, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005
…Automated Reasoning on Feature Models � David Benavides, Pablo Trinidad, and Antonio Ruiz…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB