3 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools
|
|
|
|
In: Mathematics ; Volume 9 ; Issue 20 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
Searchable Online Edition
|
|
|
|
In: http://arxiv.org/pdf/0902.3749v1.pdf (2007)
|
|
BASE
|
|
Show details
|
|
10 |
Toward a proof assistant in natural language ; Vers un assistant à la preuve en langue naturelle
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00414773 ; Autre [cs.OH]. Université de Savoie, 2006. Français (2006)
|
|
BASE
|
|
Show details
|
|
11 |
Hilbert’s epsilon as an operator of indefinite committed choice
|
|
|
|
In: http://www.ags.uni-sb.de/~cp/p/epsi/pdf.pdf (2006)
|
|
BASE
|
|
Show details
|
|
12 |
Automated Reasoning for Computational Semantics
|
|
|
|
In: http://www.ags.uni-sb.de/~kohlhase/submit/nlded-99.ps.gz (1999)
|
|
BASE
|
|
Show details
|
|
13 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
14 |
Free-variable Tableaux for Propositional Modal Logics
|
|
|
|
In: ftp://arp.anu.edu.au/pub/papers/gore/Free-Variable-Tableaux/free-variable-tableau.ps.gz (1997)
|
|
BASE
|
|
Show details
|
|
15 |
Uniform Strategies: The CADE-11 Theorem Proving Contest
|
|
|
|
In: ftp://info.mcs.anl.gov/pub/tech_reports/reports/P378.ps.Z (1993)
|
|
BASE
|
|
Show details
|
|
17 |
Natural Language Based Inference Procedures Applied to Schubert's Steamroller
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
18 |
Observations on Cognitive Judgments
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
20 |
System of Automated Deduction (SAD): Linguistic and Deductive Peculiarities
|
|
|
|
In: http://www.dcs.kcl.ac.uk/staff/anatoli/papers/sad-iis.ps
|
|
BASE
|
|
Show details
|
|
|
|