string(237) "select * FROM articoli_opac WHERE fonte <> 'ISI' AND fonte='ACNP' AND fasc_anno_pubbl='1993' AND fasc_issn='01687433' order by level desc, fasc_key desc, NULLIF(regexp_replace(pagina_ini, E'\\D', '', 'g'), '')::int asc offset 0 limit 25" ACNP - Italian Periodicals Catalogue
Results: 1-25 | 26-40    

Articles table of contents

Results : 1-25/40
Backchain Interation: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete
Authors: A.Walker
Journal: Journal of automated reasoning
Citation: A.walker, Backchain Interation: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete, Journal of automated reasoning , 11(1), 1993, pp. 1-22
Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations
Authors: W.W.McCune
Journal: Journal of automated reasoning
Citation: W.w.mccune, Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations, Journal of automated reasoning , 10(1), 1993, pp. 1-14
Experimenting with Isabelle in ZF Set Theory
Authors: P.A.J.Noel
Journal: Journal of automated reasoning
Citation: P.a.j.noel, Experimenting with Isabelle in ZF Set Theory, Journal of automated reasoning , 10(1), 1993, pp. 15-58
The Inevitability of Inconsistent Abstract Spaces
Authors: F.Giunchiglia,T.Walsh
Journal: Journal of automated reasoning
Citation: F.giunchiglia,t.walsh, The Inevitability of Inconsistent Abstract Spaces, Journal of automated reasoning , 11(1), 1993, pp. 23-42
Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language
Authors: A.Felty
Journal: Journal of automated reasoning
Citation: A.felty, Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language, Journal of automated reasoning , 11(1), 1993, pp. 43-82
Fuzzy Operator Logic and Fuzzy Resolution
Authors: T.J.Weigert,J.P.Tsai,X.Liu
Journal: Journal of automated reasoning
Citation: T.j.weigert,j.p.tsai,x.liu, Fuzzy Operator Logic and Fuzzy Resolution, Journal of automated reasoning , 10(1), 1993, pp. 59-78
What Holds in a Context?
Authors: F.Corella
Journal: Journal of automated reasoning
Citation: F.corella, What Holds in a Context?, Journal of automated reasoning , 10(1), 1993, pp. 79-94
Bounded-Overhead Caching for Definite-Clause Theorem Proving
Authors: A.Segre,D.Scharstein
Journal: Journal of automated reasoning
Citation: A.segre,d.scharstein, Bounded-Overhead Caching for Definite-Clause Theorem Proving, Journal of automated reasoning , 11(1), 1993, pp. 83-114
Flatterms, Discrimination Nets, and Fast Term Rewriting
Authors: J.Christian
Journal: Journal of automated reasoning
Citation: J.christian, Flatterms, Discrimination Nets, and Fast Term Rewriting, Journal of automated reasoning , 10(1), 1993, pp. 95-114
A Proof Procedure for the Logic of Hereditary Harrop Formulas
Authors: G.Nadathur
Journal: Journal of automated reasoning
Citation: G.nadathur, A Proof Procedure for the Logic of Hereditary Harrop Formulas, Journal of automated reasoning , 11(1), 1993, pp. 115-146
Simplification in a Satisfiability Checker for VLSI Applications
Authors: F.Vlach
Journal: Journal of automated reasoning
Citation: F.vlach, Simplification in a Satisfiability Checker for VLSI Applications, Journal of automated reasoning , 10(1), 1993, pp. 115-136
Basic Research Problems: The Problem of Automated Theorem Finding
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Automated Theorem Finding, Journal of automated reasoning , 10(1), 1993, pp. 137-138
Autoepistemic Circumscription and Logic Programming
Authors: L.Y.Yuan,J-H.You
Journal: Journal of automated reasoning
Citation: L.y.yuan,j-h.you, Autoepistemic Circumscription and Logic Programming, Journal of automated reasoning , 10(2), 1993, pp. 143-160
Basic Research Problems: The Problem of Naming and Function Replacement
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Naming and Function Replacement, Journal of automated reasoning , 11(1), 1993, pp. 147-148
Word Unification and Trasformation of Generalized Equations
Authors: K.U.Schulz
Journal: Journal of automated reasoning
Citation: K.u.schulz, Word Unification and Trasformation of Generalized Equations, Journal of automated reasoning , 11(2), 1993, pp. 149-184
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part I.An Improved Version of Ritt-Wu's Decomposition Algorithm
Authors: S-C.Chou,X-S.Gao
Journal: Journal of automated reasoning
Citation: S-c.chou,x-s.gao, Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part I.An Improved Version of Ritt-Wu's Decomposition Algorithm, Journal of automated reasoning , 10(2), 1993, pp. 161-172
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part II.Mechanical Theorem Proving
Authors: S-C.Chou,X-S.Gao
Journal: Journal of automated reasoning
Citation: S-c.chou,x-s.gao, Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part II.Mechanical Theorem Proving, Journal of automated reasoning , 10(2), 1993, pp. 173-190
Competing for the AC-Unification Race
Authors: A.Boudet
Journal: Journal of automated reasoning
Citation: A.boudet, Competing for the AC-Unification Race, Journal of automated reasoning , 11(2), 1993, pp. 185-212
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases
Authors: R.NG,V.S.Subrahmanian
Journal: Journal of automated reasoning
Citation: R.ng,v.s.subrahmanian, A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases, Journal of automated reasoning , 10(2), 1993, pp. 191-236
IMPS: An Interactive Mathematical Proof System
Authors: W.M.Farmer,J.D.Guttman,F.J.Thayer
Journal: Journal of automated reasoning
Citation: W.m.farmer,j.d.guttman,f.j.thayer, IMPS: An Interactive Mathematical Proof System, Journal of automated reasoning , 11(2), 1993, pp. 213-248
First-Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment
Authors: M.A.Suchenek
Journal: Journal of automated reasoning
Citation: M.a.suchenek, First-Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment, Journal of automated reasoning , 10(2), 1993, pp. 237-264
View Updates in Stratified Disjunctive Databases
Authors: J.Grant,J.Horty,J.Lobo,J.Minker
Journal: Journal of automated reasoning
Citation: J.grant,j.horty,j.lobo,j.minker, View Updates in Stratified Disjunctive Databases, Journal of automated reasoning , 11(2), 1993, pp. 249-268
Gentzen-Type Systems, Resolution and Tableaux
Authors: A.Avron
Journal: Journal of automated reasoning
Citation: A.avron, Gentzen-Type Systems, Resolution and Tableaux, Journal of automated reasoning , 10(2), 1993, pp. 265-282
Inference Flexibility in Horn Clause Knowledge Bases and Simplex Method
Authors: J.Wang
Journal: Journal of automated reasoning
Citation: J.wang, Inference Flexibility in Horn Clause Knowledge Bases and Simplex Method, Journal of automated reasoning , 11(2), 1993, pp. 269-288
The Problem of Reasoning by Case Analysis
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, The Problem of Reasoning by Case Analysis, Journal of automated reasoning , 11(2), 1993, pp. 269-288
Results: 1-25 | 26-40