string(237) "select * FROM articoli_opac WHERE fonte <> 'ISI' AND fonte='ACNP' AND fasc_anno_pubbl='1999' 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-30    

Articles table of contents

Results : 1-25/30
The CADE-15 ATP System Competition
Authors: G.Sutcliffe,C.B.Suttner
Journal: Journal of automated reasoning
Citation: G.sutcliffe,c.b.suttner, The CADE-15 ATP System Competition, Journal of automated reasoning , 23(1), 1999, pp. 1-23
The Hot List Strategy
Authors: L.Wos,G.W.Pieper
Journal: Journal of automated reasoning
Citation: L.wos,g.w.pieper, The Hot List Strategy, Journal of automated reasoning , 22(1), 1999, pp. 1-44
Completion for Multiple Reduction Orderings
Authors: M.Kurihara
Journal: Journal of automated reasoning
Citation: M.kurihara, Completion for Multiple Reduction Orderings, Journal of automated reasoning , 23(1), 1999, pp. 25-42
The Tail-Recursive SECD Maachine
Authors: J.D.Ramsdell
Journal: Journal of automated reasoning
Citation: J.d.ramsdell, The Tail-Recursive SECD Maachine, Journal of automated reasoning , 23(1), 1999, pp. 43-62
An Algorithm for General Set Unification and Its Complexity
Authors: F.Stolzenburg
Journal: Journal of automated reasoning
Citation: F.stolzenburg, An Algorithm for General Set Unification and Its Complexity, Journal of automated reasoning , 22(1), 1999, pp. 45-63
Automatic Discovery of Theorems in Elementary Geometry
Authors: T.Recio,M.P.Velez
Journal: Journal of automated reasoning
Citation: T.recio,m.p.velez, Automatic Discovery of Theorems in Elementary Geometry, Journal of automated reasoning , 23(1), 1999, pp. 63-82
Recursive Program Optimization through Inductive Synthesis Proof Transformation
Authors: P.Madden,A.Bundy,A.Smaill
Journal: Journal of automated reasoning
Citation: P.madden,a.bundy,a.smaill, Recursive Program Optimization through Inductive Synthesis Proof Transformation, Journal of automated reasoning , 22(1), 1999, pp. 65-115
Separability of Polihedra for Optimal Filtering of Spatial and Contraint Data
Authors: A.Brodsky,C.Lassez,J-L.Lassez,M.J.Maher
Journal: Journal of automated reasoning
Citation: A.brodsky,c.lassez,j-l.lassez,m.j.maher, Separability of Polihedra for Optimal Filtering of Spatial and Contraint Data, Journal of automated reasoning , 23(1), 1999, pp. 83-104
Computational Complexity of Simultaneous Elementary Matching Problems
Authors: M.Hermann,P.G.Kolaitis
Journal: Journal of automated reasoning
Citation: M.hermann,p.g.kolaitis, Computational Complexity of Simultaneous Elementary Matching Problems, Journal of automated reasoning , 23(2), 1999, pp. 107-136
Analogy inInductive Theorem Proving
Authors: E.Melis,J.Whittle
Journal: Journal of automated reasoning
Citation: E.melis,j.whittle, Analogy inInductive Theorem Proving, Journal of automated reasoning , 22(2), 1999, pp. 117-147
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Authors: A.V.Gelder
Journal: Journal of automated reasoning
Citation: A.v.gelder, Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy, Journal of automated reasoning , 23(2), 1999, pp. 137-193
An Efficient Algorithm to Generate Prime Implicants
Authors: A.K.Shiny,A.K.Pujari
Journal: Journal of automated reasoning
Citation: A.k.shiny,a.k.pujari, An Efficient Algorithm to Generate Prime Implicants, Journal of automated reasoning , 22(2), 1999, pp. 149-170
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Authors: W.E.Aitken,R.L.Constable,J.L.Underwood
Journal: Journal of automated reasoning
Citation: W.e.aitken,r.l.constable,j.l.underwood, Metalogical Frameworks II: Developing a Reflected Decision Procedure, Journal of automated reasoning , 22(2), 1999, pp. 171-221
On Equivalents of Well-Foundedness
Authors: P.Rudnicki
Journal: Journal of automated reasoning
Citation: P.rudnicki, On Equivalents of Well-Foundedness, Journal of automated reasoning , 23(3/4), 1999, pp. 197-234
Triple Dots in a Formal Language
Authors: L.Luzkaszewicz
Journal: Journal of automated reasoning
Citation: L.luzkaszewicz, Triple Dots in a Formal Language, Journal of automated reasoning , 22(3), 1999, pp. 223-239
A Formal Proof of Sylow's Theorem
Authors: F.Kammuller,L.C.Paulson
Journal: Journal of automated reasoning
Citation: F.kammuller,l.c.paulson, A Formal Proof of Sylow's Theorem, Journal of automated reasoning , 23(3/4), 1999, pp. 235-264
Reasoning about Solids Using Constraint Logic Programming
Authors: G.Pesant,M.Boyer
Journal: Journal of automated reasoning
Citation: G.pesant,m.boyer, Reasoning about Solids Using Constraint Logic Programming, Journal of automated reasoning , 22(3), 1999, pp. 241-262
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Authors: O.Arieli,A.Avron
Journal: Journal of automated reasoning
Citation: O.arieli,a.avron, A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases, Journal of automated reasoning , 22(3), 1999, pp. 263-309
Formal Verification of a Partial Order Reduction Technique for Model Checking
Authors: C.T.Chou,D.Peled
Journal: Journal of automated reasoning
Citation: C.t.chou,d.peled, Formal Verification of a Partial Order Reduction Technique for Model Checking, Journal of automated reasoning , 23(3/4), 1999, pp. 265-298
Type Inference Verified: Algorithm W in Isabelle/HOL
Authors: W.Narraschewski,T.Nipkow
Journal: Journal of automated reasoning
Citation: W.narraschewski,t.nipkow, Type Inference Verified: Algorithm W in Isabelle/HOL, Journal of automated reasoning , 23(3/4), 1999, pp. 299-318
Computer Proofs in Godel's Class Theory with Equational Definitions for Composite and Cross
Authors: J.G.F.Belinfante
Journal: Journal of automated reasoning
Citation: J.g.f.belinfante, Computer Proofs in Godel's Class Theory with Equational Definitions for Composite and Cross, Journal of automated reasoning , 22(3), 1999, pp. 311-339
Certification of a Type Inference Tool for ML: Damas-Milner within Coq
Authors: C.Dubois,V.Menissier-Morain
Journal: Journal of automated reasoning
Citation: C.dubois,v.menissier-morain, Certification of a Type Inference Tool for ML: Damas-Milner within Coq, Journal of automated reasoning , 23(3/4), 1999, pp. 319-346
On Computer-Assisted Proofs in Ordinal Number Theory
Authors: J.G.F.Belinfante
Journal: Journal of automated reasoning
Citation: J.g.f.belinfante, On Computer-Assisted Proofs in Ordinal Number Theory, Journal of automated reasoning , 22(3), 1999, pp. 341-378
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Authors: M.Jaume
Journal: Journal of automated reasoning
Citation: M.jaume, A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions, Journal of automated reasoning , 23(3/4), 1999, pp. 347-371
some Lambda Calculus and Type Theory Formalized
Authors: J.McKinna,R.Pollack
Journal: Journal of automated reasoning
Citation: J.mckinna,r.pollack, some Lambda Calculus and Type Theory Formalized, Journal of automated reasoning , 23(3/4), 1999, pp. 373-409
Results: 1-25 | 26-30