Works matching DE "AUTOMATIC theorem proving"
Results: 165
Functional Forms for Technical Change Functions.
- Published in:
- Journal of Productivity Analysis, 1991, v. 2, n. 2, p. 143, doi. 10.1007/BF00156344
- By:
- Publication type:
- Article
Initial-value and multipoint boundary-value problems for nonautonomous systems with polynomial matrices and their applications.
- Published in:
- Journal of Mathematical Sciences, 2010, v. 170, n. 3, p. 332, doi. 10.1007/s10958-010-0089-5
- By:
- Publication type:
- Article
The Degree of an Exact Order Matrix.
- Published in:
- Mathematics of Operations Research, 1996, v. 21, n. 2, p. 427, doi. 10.1287/moor.21.2.427
- By:
- Publication type:
- Article
Theorem proving for classical logic with partial functions by reduction to Kleene logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 509, doi. 10.1093/logcom/exu071
- By:
- Publication type:
- Article
Boolean unification with predicates.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 1, p. 109, doi. 10.1093/logcom/exv059
- 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
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 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
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
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
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
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
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
Reinsurance Decision Making and Expected Utility: Comment.
- Published in:
- Journal of Risk & Insurance, 1985, v. 52, n. 2, p. 311, doi. 10.2307/252518
- 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
Relationship between symmetries of the Tzitzéica equation and the Novikov-Veselov Hierarchy.
- Published in:
- Mathematical Notes, 2007, v. 82, n. 3/4, p. 569, doi. 10.1134/S0001434607090349
- By:
- Publication type:
- Article
UNA GUÍA GENERAL PARA LA ESPECIFICACIÓN Y VERIFICACIÓN FORMAL DE REQUERIMIENTOS USANDO EVENT-B Y RODIN.
- Published in:
- Revista Educación en Ingeniería, 2012, v. 7, n. 14, p. 82
- 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 PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING.
- Published in:
- International Journal of Foundations of Computer Science, 2004, v. 15, n. 2, p. 417, doi. 10.1142/S0129054104002509
- By:
- Publication type:
- Article
Building reliable, high-performance networks with the Nuprl proof development system.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 21, doi. 10.1017/s0956796803004854
- 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
A New Proof of the First Welfare Theorem.
- Published in:
- Revista Brasileira de Economia de Empresas / Brazilian Journal of Business Economics, 2007, v. 7, n. 2, p. 59
- 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
Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence.
- Published in:
- History & Philosophy of Logic, 2009, v. 30, n. 1, p. 21, doi. 10.1080/01445340802113531
- 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
GUBS, a Behaviour-Based Language for Design in Synthetic Biology.
- Published in:
- Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 1, doi. 10.7561/SACS.2013.1.1
- By:
- Publication type:
- Article
ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING).
- Published in:
- International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1097, doi. 10.1142/S0129054114400267
- By:
- Publication type:
- Article
AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS.
- Published in:
- International Journal of Foundations of Computer Science, 2013, v. 24, n. 6, p. 781, doi. 10.1142/S0129054113400182
- 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
A compact kernel for the calculus of inductive constructions.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 71, doi. 10.1007/s12046-009-0003-3
- By:
- Publication type:
- Article
Formalizing Arrow's theorem.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 193, doi. 10.1007/s12046-009-0005-1
- By:
- Publication type:
- Article
Operating system verification--An overview.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 27, doi. 10.1007/s12046-009-0002-4
- By:
- Publication type:
- Article
Interactive Theorem Proving and Verification.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 1
- By:
- Publication type:
- Article
Putting it all together – Formal verification of the VAMP.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 411, doi. 10.1007/s10009-006-0204-6
- By:
- Publication type:
- Article
Inductive assertions and operational semantics.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 359, doi. 10.1007/s10009-005-0180-2
- By:
- Publication type:
- Article
Proving the shalls.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 303, doi. 10.1007/s10009-004-0173-6
- By:
- Publication type:
- Article
Using simulated execution in verifying distributed algorithms.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 67, doi. 10.1007/s10009-003-0126-5
- By:
- Publication type:
- Article
"Russian Killer" No. 2: A Challenging Geometric Theorem with Human and Machine Proofs.
- Published in:
- Mathematical Intelligencer, 2001, v. 23, n. 1, doi. 10.1007/BF03024512
- By:
- Publication type:
- Article
The Great Epsilon Shortage.
- Published in:
- Mathematical Intelligencer, 1999, v. 21, n. 4, p. 37, doi. 10.1007/BF03025336
- By:
- Publication type:
- Article
Taking formalism seriously.
- Published in:
- Mathematical Intelligencer, 1993, v. 15, n. 3, p. 8, doi. 10.1007/BF03024251
- By:
- Publication type:
- Article