Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Automatic proving")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1484

  • Page / 60
Export

Selection :

  • and

CASC-J3 the 3rd IJCAR ATP system competitionSUTCLIFFE, Geoff.Lecture notes in computer science. 2006, pp 572-573, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 2 p.Conference Paper

Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003)Baader, Franz.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40559-3, XII, 502 p, isbn 3-540-40559-3Conference Proceedings

The Homer systemCOLTON, Simon; HUCZYNSKA, Sophie.Lecture notes in computer science. 2003, pp 289-294, issn 0302-9743, isbn 3-540-40559-3, 6 p.Conference Paper

Completeness results of inequality proversBLEDSOE, W. W; KUNEN, K; SHOSTAK, R et al.Artificial intelligence. 1985, Vol 27, Num 3, pp 255-288, issn 0004-3702Article

'Living Book' :- 'deduction', 'slicing', 'interaction'BAUMGARTNER, Peter; FURBACH, Ulrich; GROSS-HARDT, Margret et al.Lecture notes in computer science. 2003, pp 284-288, issn 0302-9743, isbn 3-540-40559-3, 5 p.Conference Paper

Focus windows: A new technique for proof presentationPIROI, Florina; BUCHBERGER, Bruno.Lecture notes in computer science. 2002, pp 337-341, issn 0302-9743, isbn 3-540-43865-3, 5 p.Conference Paper

Strategic explanations for a diagnostic consultation systemHASLING, D. W; CLANCEY, W. J; RENNELS, G et al.International journal of man-machine studies. 1984, Vol 20, Num 1, pp 3-19, issn 0020-7373Article

Using the TPTP language for writing derivations and finite interpretationsSUTCLIFFE, Geoff; SCHULZ, Stephan; CLAESSEN, Koen et al.Lecture notes in computer science. 2006, pp 67-81, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

CODE : A powerful prover for problems of condensed detachmentFUCHS, D; FUCHS, M.Lecture notes in computer science. 1997, pp 260-263, issn 0302-9743, isbn 3-540-63104-6Conference Paper

A comparative study of COQ and HOLZAMMIT, V.Lecture notes in computer science. 1997, pp 323-337, issn 0302-9743, isbn 3-540-63379-0Conference Paper

An experimental evaluation of ground decision proceduresDE MOURA, Leonardo; RUESS, Harald.Lecture notes in computer science. 2004, pp 162-174, issn 0302-9743, isbn 3-540-22342-8, 13 p.Conference Paper

TRP++ 2.0: A temporal resolution proverHUSTADT, Ullrich; KONEV, Boris.Lecture notes in computer science. 2003, pp 274-278, issn 0302-9743, isbn 3-540-40559-3, 5 p.Conference Paper

The CADE-19 ATP system competitionSUTCLIFFE, Geoff; SUTTNER, Christian.Lecture notes in computer science. 2003, pp 295-296, issn 0302-9743, isbn 3-540-40559-3, 2 p.Conference Paper

The new WALDMEISTER loop at workGAILLOURDET, Jean-Marie; HILLENBRAND, Thomas; LÖCHNER, Bernd et al.Lecture notes in computer science. 2003, pp 317-322, issn 0302-9743, isbn 3-540-40559-3, 6 p.Conference Paper

A new method for testing decision procedures in modal logicsGIUNCHIGLIA, F; ROVERI, M; SEBASTIANI, R et al.Lecture notes in computer science. 1997, pp 264-267, issn 0302-9743, isbn 3-540-63104-6Conference Paper

The Char-Set method and its applications to automated reasoningWEN-TSÜN, W.Lecture notes in computer science. 1997, pp 1-3, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Automated deduction in geometry (5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004)Hong, Hoon; Wang, Dongming.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31332-X, 1Vol, X-211 p, isbn 3-540-31332-XConference Proceedings

Preuves par induction implicite : cas des théories associatives-commutatives et observationnelles = Proofs by implicit induction : case of associative-commutative and observational theoriesBen Rajeb, Narjes; Rusinowitch, Michael.1997, 118 p.Thesis

Towards computerized proofs of identitiesWILF, H. S; ZEILBERGER, D.Bulletin, new series, of the American Mathematical Society. 1990, Vol 23, Num 1, pp 77-83, issn 0273-0979, 7 p.Article

Automatic verification by abstract interpretationCOUSOT, Patrick.Lecture notes in computer science. 2003, pp 20-24, issn 0302-9743, isbn 3-540-00348-7, 5 p.Conference Paper

How to prove inductive theorems? QUODLIBET!AVENHAUS, Jürgen; KÜHLER, Ulrich; SCHMIDT-SAMOA, Tobias et al.Lecture notes in computer science. 2003, pp 328-333, issn 0302-9743, isbn 3-540-40559-3, 6 p.Conference Paper

Foundations of proof search strategies design in linear logicPerrier, G; Galmiche, D.1994, 13 p.Report

A linguistic contribution to GOTO-less programmingCLARK, R. L.Communications of the ACM. 1984, Vol 27, Num 4, pp 349-350, issn 0001-0782Article

Symbolic solution of a piano movers' problem with four parametersLU YANG; ZHENBING ZENG.Lecture notes in computer science. 2006, pp 59-69, issn 0302-9743, isbn 3-540-31332-X, 1Vol, 11 p.Conference Paper

Proof confluent tableau calculiHÄHNLE, R; BECKERT, B.Lecture notes in computer science. 1999, pp 34-35, issn 0302-9743, isbn 3-540-66086-0Conference Paper

  • Page / 60