Works matching DE "AUTOMATIC theorem proving"
Results: 163
An executable object-oriented semantics and its application to firewall verification.
- Published in:
- Software & Systems Modeling, 2011, v. 10, n. 4, p. 515, doi. 10.1007/s10270-010-0160-1
- By:
- Publication type:
- Article
The Epistemology and Ontology of Human-Computer Interaction.
- Published in:
- Minds & Machines, 2005, v. 15, n. 3/4, p. 383, doi. 10.1007/s11023-005-9003-1
- By:
- Publication type:
- Article
Iterated Point–Line Configurations Grow Doubly-Exponentially.
- Published in:
- Discrete & Computational Geometry, 2010, v. 43, n. 3, p. 554, doi. 10.1007/s00454-009-9208-9
- By:
- Publication type:
- Article
Carathéodory, Helly and the Others in the Max-Plus World.
- Published in:
- Discrete & Computational Geometry, 2010, v. 43, n. 3, p. 648, doi. 10.1007/s00454-009-9207-x
- By:
- Publication type:
- Article
A condition for the positivity of the density of an invariant measure.
- Published in:
- Doklady Mathematics, 2011, v. 83, n. 3, p. 332, doi. 10.1134/S1064562411030185
- By:
- Publication type:
- Article
100.35 Proof without words: the average of square pyramidal and triangular is tetrahedral.
- Published in:
- Mathematical Gazette, 2016, v. 100, n. 549, p. 516, doi. 10.1017/mag.2016.122
- By:
- Publication type:
- Article
The Development of Baselog System and Some Applications.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 4, p. 390
- By:
- Publication type:
- Article
An ontological account of flow-control components in BPMN process models.
- Published in:
- Big Data & Information Analytics, 2017, v. 2, n. 2, p. 177, doi. 10.3934/bdia.2017016
- By:
- Publication type:
- Article
Correctness of compiling Occam to transputer code.
- Published in:
- Computer Journal, 1996, v. 39, n. 1, p. 52, doi. 10.1093/comjnl/39.1.52
- By:
- Publication type:
- Article
A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving.
- Published in:
- ISeCure, 2016, v. 8, n. 1, p. 1
- By:
- Publication type:
- Article
Semantic Reading in Mathematics and Mathematics Teaching.
- Published in:
- BRAIN: Broad Research in Artificial Intelligence & Neuroscience, 2018, v. 9, n. 4, p. 100
- By:
- Publication type:
- Article
USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS.
- Published in:
- Applied Artificial Intelligence, 2007, v. 21, n. 4-5, p. 383, doi. 10.1080/08839510701252650
- By:
- Publication type:
- Article
Another look at automated theorem-proving II.
- Published in:
- Journal of Mathematical Cryptology, 2011, v. 5, n. 3/4, p. 205, doi. 10.1515/jmc-2011-0014
- By:
- Publication type:
- Article
The CADE ATP System Competition -- CASC.
- Published in:
- AI Magazine, 2016, v. 37, n. 2, p. 99, doi. 10.1609/aimag.v37i2.2620
- By:
- Publication type:
- Article
On the Emergence of TP-based Educational Math Assistants.
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 110
- By:
- Publication type:
- Article
Error-Patterns within "Next-Step-Guidance" in TP-based Educational Systems.
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 175
- By:
- Publication type:
- Article
Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction.
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 155
- By:
- Publication type:
- Article
Trials with TP-based Programming for Interactive Course Material.
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 91
- By:
- Publication type:
- Article
Editorial on "TP-based Systems and Education".
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 87
- By:
- Publication type:
- Article
Inconsistency lemmas in algebraic logic.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 6, p. 393, doi. 10.1002/malq.201200020
- By:
- Publication type:
- Article
SWEET SIXTEEN Automation via Embedding into Classical Higher-Order Logic.
- Published in:
- Logic & Logical Philosophy, 2016, v. 25, n. 4, p. 535, doi. 10.12775/LLP.2016.021
- By:
- Publication type:
- Article
ARE INTELLIGENT SYSTEMS OLD OR NEW - AN OVERVIEW.
- Published in:
- Annals of Operations Research, 1988, v. 16, n. 1-4, p. 81, doi. 10.1007/BF02283737
- By:
- Publication type:
- Article
A VIEW OF AUTOMATED PROOF CHECKING AND PROVING.
- Published in:
- Annals of Operations Research, 1988, v. 16, n. 1-4, p. 61, doi. 10.1007/BF02283736
- By:
- Publication type:
- Article
Strategy Parallelism in Automated Theorem Proving.
- Published in:
- International Journal of Pattern Recognition & Artificial Intelligence, 1999, v. 13, n. 2, p. 219, doi. 10.1142/S0218001499000136
- By:
- Publication type:
- Article
A NOTE ON THE LOCAL NILPOTENCE OF 4-ENGEL GROUPS.
- Published in:
- International Journal of Algebra & Computation, 2005, v. 15, n. 4, p. 757, doi. 10.1142/S021819670500244X
- By:
- Publication type:
- Article
From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity.
- Published in:
- Note di Matematica, 2016, v. 36, n. 1, p. 11, doi. 10.1285/i15900932v36n1p11
- By:
- Publication type:
- Article
Entities Without Intrinsic Physical Identity.
- Published in:
- Erkenntnis, 2014, v. 79, n. 5, p. 1157, doi. 10.1007/s10670-014-9601-5
- By:
- Publication type:
- Article
Computer Proof, Apriori Knowledge, and Other Minds: The Sixth Philosophical Perspectives Lecture.
- Published in:
- Philosophical Perspectives, 1998, v. 12, p. 1
- By:
- Publication type:
- Article
Proofs: Getting to Q.E.D.
- Published in:
- New York State Mathematics Teachers' Journal, 2010, v. 60, n. 2, p. 69
- By:
- Publication type:
- Article
The sampling theorem.
- Published in:
- Communications Engineer, 2007, v. 5, n. 3, p. 39, doi. 10.1049/ce:20070307
- By:
- Publication type:
- Article
Correction to the paper “on the curvature of a generalization of a contact metric manifolds”.
- Published in:
- Acta Mathematica Hungarica, 2009, v. 124, n. 4, p. 399, doi. 10.1007/s10474-009-9085-y
- By:
- Publication type:
- Article
Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view.
- Published in:
- Computer Applications in Engineering Education, 2015, v. 23, n. 6, p. 837, doi. 10.1002/cae.21654
- By:
- Publication type:
- Article
LOGICAL AND SEMANTIC PURITIY.
- Published in:
- Protosociology: An International Journal of Interdisciplinary Research, 2008, v. 25, p. 36
- By:
- Publication type:
- Article
An algorithmic proof of Bregman-Minc theorem.
- Published in:
- International Journal of Computer Mathematics, 2009, v. 86, n. 12, p. 2181, doi. 10.1080/00207160802441264
- By:
- Publication type:
- Article
EMRlog Method for Computer Security for Electronic Medical Records with Logic and Data Mining.
- Published in:
- 2015
- By:
- Publication type:
- journal article
Global attractivity for a class of nonlinear delay difference equations.
- Published in:
- Applied Mathematics & Mechanics, 2002, v. 23, n. 3, p. 355, doi. 10.1007/BF02438343
- By:
- Publication type:
- Article
Verification of Model Transformations Using Isabelle/HOL and Scala.
- Published in:
- Information Systems Frontiers, 2019, v. 21, n. 1, p. 45, doi. 10.1007/s10796-018-9860-9
- By:
- Publication type:
- Article
LEARNING FROM SUCCESSES.
- Published in:
- International Journal on Artificial Intelligence Tools, 2010, v. 19, n. 4, p. 373, doi. 10.1142/S0218213010000248
- By:
- Publication type:
- Article
LEARNING FOR DYNAMIC SUBSUMPTION.
- Published in:
- International Journal on Artificial Intelligence Tools, 2010, v. 19, n. 4, p. 511, doi. 10.1142/S0218213010000303
- By:
- Publication type:
- Article
COORDINATION AND APPLICATIVE CATEGORIAL TYPE LOGIC.
- Published in:
- International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 6, p. 1007, doi. 10.1142/S0218213006003089
- By:
- Publication type:
- Article
SEMANTIC DERIVATION VERIFICATION:: TECHNIQUES AND IMPLEMENTATION.
- Published in:
- International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 6, p. 1053, doi. 10.1142/S0218213006003119
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 1, doi. 10.1142/S0218213006002539
- By:
- Publication type:
- Article
MILESTONES FOR AUTOMATED REASONING WITH OTTER.
- Published in:
- International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 3, doi. 10.1142/S0218213006002540
- By:
- Publication type:
- Article
IMPLEMENTING THE MODEL EVOLUTION CALCULUS.
- Published in:
- International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 21, doi. 10.1142/S0218213006002552
- By:
- Publication type:
- Article
AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION.
- Published in:
- International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 81, doi. 10.1142/S0218213006002576
- By:
- Publication type:
- Article
An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 1/2, p. 181, doi. 10.1142/S0218213001000477
- By:
- Publication type:
- Article
Strong Cardinals can be Fully Laver Indestructible.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 499, doi. 10.1002/1521-3870(200211)48:4<499::AID-MALQ499>3.0.CO;2-0
- By:
- Publication type:
- Article
Γ<sub>0</sub> May Be Minimal Subrecursively Inaccessible.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 397, doi. 10.1002/1521-3870(200108)47:3<397::AID-MALQ397>3.0.CO;2-Y
- By:
- Publication type:
- Article
The t-variable method in gentzen-style automatic theorem proving.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 253, doi. 10.1002/malq.19900360310
- By:
- Publication type:
- Article
A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 3, p. 283, doi. 10.1002/malq.19890350312
- By:
- Publication type:
- Article