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

Articles table of contents

Results : 26-40/40
Single Axioms for Groups
Authors: K.Kunen
Journal: Journal of automated reasoning
Citation: K.kunen, Single Axioms for Groups, Journal of automated reasoning , 9(3), 1992, pp. 291-308
SLDNF-Resolution with Equality
Authors: J.C.Shepherdson
Journal: Journal of automated reasoning
Citation: J.c.shepherdson, SLDNF-Resolution with Equality, Journal of automated reasoning , 8(2), 1992, pp. 297-306
The problem of Choosing Between Using and Avoiding Equality Predicates
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, The problem of Choosing Between Using and Avoiding Equality Predicates, Journal of automated reasoning , 8(2), 1992, pp. 307-309
Using Typed Lambda Calculus to Implement Formal Systems on a Machine
Authors: A.Avron,F.Honsell,I.A.Mason,R.Polack
Journal: Journal of automated reasoning
Citation: A.avron,f.honsell,i.a.mason,r.polack, Using Typed Lambda Calculus to Implement Formal Systems on a Machine, Journal of automated reasoning , 9(3), 1992, pp. 309-354
Gazing: An Approach to the Problem of Definition and Lemma Use
Authors: D.Barker-Plummer
Journal: Journal of automated reasoning
Citation: D.barker-plummer, Gazing: An Approach to the Problem of Definition and Lemma Use, Journal of automated reasoning , 8(3), 1992, pp. 311-344
Stable and Extension Class Theory for Logic Programs and Default Logics
Authors: C.R.Baral,V.S.Subrahmanian
Journal: Journal of automated reasoning
Citation: C.r.baral,v.s.subrahmanian, Stable and Extension Class Theory for Logic Programs and Default Logics, Journal of automated reasoning , 8(3), 1992, pp. 345-366
An Extension of the Boyer-Moore Theorem Prover to Support First-Order Quantification
Authors: M.Kaufmann
Journal: Journal of automated reasoning
Citation: M.kaufmann, An Extension of the Boyer-Moore Theorem Prover to Support First-Order Quantification, Journal of automated reasoning , 9(3), 1992, pp. 355-372
Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study
Authors: R.J.Hall
Journal: Journal of automated reasoning
Citation: R.j.hall, Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study, Journal of automated reasoning , 8(3), 1992, pp. 367-394
On Fourier's Algorithm for Linear Arithmetic Constraints
Authors: J.L.Lassez,M.J.Maher
Journal: Journal of automated reasoning
Citation: J.l.lassez,m.j.maher, On Fourier's Algorithm for Linear Arithmetic Constraints, Journal of automated reasoning , 9(3), 1992, pp. 373-380
A Note on the Parallel Complexity of Anti-Unification
Authors: G.M.Kuper,K.W.McAloon,K.V.Palem
Journal: Journal of automated reasoning
Citation: G.m.kuper,k.w.mcaloon,k.v.palem, A Note on the Parallel Complexity of Anti-Unification, Journal of automated reasoning , 9(3), 1992, pp. 381-390
Efficient Parallel Term Matching and Anti-Unification
Authors: A.L.Delcher,S.Kasif
Journal: Journal of automated reasoning
Citation: A.l.delcher,s.kasif, Efficient Parallel Term Matching and Anti-Unification, Journal of automated reasoning , 9(3), 1992, pp. 391-406
Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems
Authors: M.F.Russo,R.L.Peskin
Journal: Journal of automated reasoning
Citation: M.f.russo,r.l.peskin, Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems, Journal of automated reasoning , 8(3), 1992, pp. 395-420
Basic Researc Problems: The Problem of Demodulating across Argument and Literal Boundaries
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Researc Problems: The Problem of Demodulating across Argument and Literal Boundaries, Journal of automated reasoning , 9(3), 1992, pp. 407-412
Basic Research Problems: The Problem of Reasoning from Inequalities
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Reasoning from Inequalities, Journal of automated reasoning , 8(3), 1992, pp. 421-426
Transition to the Future
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Transition to the Future, Journal of automated reasoning , 9(3), 1992, p.
Results: 1-25 | 26-40