string(238) "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 25 limit 25" ACNP - Italian Periodicals Catalogue
Results: 1-25 | 26-40    

Articles table of contents

Results : 26-40/40
Basic Researc Problems: The problem of Selecting an Approach Based on Prior Success
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Researc Problems: The problem of Selecting an Approach Based on Prior Success, Journal of automated reasoning , 10(2), 1993, pp. 283-286
The Kernel Strategy and Its Use for the Study of Combinatory Logic
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, The Kernel Strategy and Its Use for the Study of Combinatory Logic, Journal of automated reasoning , 10(3), 1993, pp. 287-344
Studies in Automated Reasoning: SET-VAR
Authors: W.W.Bledsoe,G.Feng
Journal: Journal of automated reasoning
Citation: W.w.bledsoe,g.feng, Studies in Automated Reasoning: SET-VAR, Journal of automated reasoning , 11(3), 1993, pp. 293-314
The CADE-11 Competiotions: A Personal View
Authors: R.Overbeek
Journal: Journal of automated reasoning
Citation: R.overbeek, The CADE-11 Competiotions: A Personal View, Journal of automated reasoning , 11(3), 1993, pp. 315-316
Uniform Strategies: The CADE-11 Theorem Proving Contest
Authors: E.L.Lusk
Journal: Journal of automated reasoning
Citation: E.l.lusk, Uniform Strategies: The CADE-11 Theorem Proving Contest, Journal of automated reasoning , 11(3), 1993, pp. 317-332
Automated Proofs of Equality Problems in Overbeek's Competition
Authors: H.Zhang
Journal: Journal of automated reasoning
Citation: H.zhang, Automated Proofs of Equality Problems in Overbeek's Competition, Journal of automated reasoning , 11(3), 1993, pp. 333-352
Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction
Authors: J.J.Lu,M.D.Barback,L.J.Henschen
Journal: Journal of automated reasoning
Citation: J.j.lu,m.d.barback,l.j.henschen, Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction, Journal of automated reasoning , 10(3), 1993, pp. 345-370
Set Theory for Verification: I.From Foundations to Functions
Authors: L.Paulson
Journal: Journal of automated reasoning
Citation: L.paulson, Set Theory for Verification: I.From Foundations to Functions, Journal of automated reasoning , 11(3), 1993, pp. 353-390
Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability
Authors: J.J.Lu,V.S.Subrahmanian
Journal: Journal of automated reasoning
Citation: J.j.lu,v.s.subrahmanian, Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability, Journal of automated reasoning , 10(3), 1993, pp. 371-389
Simplification Orderings: Putting Them to the Test
Authors: J.Steinbach
Journal: Journal of automated reasoning
Citation: J.steinbach, Simplification Orderings: Putting Them to the Test, Journal of automated reasoning , 10(3), 1993, pp. 389-398
Z-mathc: An Inference Rule for Incrementally Elaborating Set Istantiations
Authors: S.C.Bailin,D.Barker-Plummer
Journal: Journal of automated reasoning
Citation: S.c.bailin,d.barker-plummer, Z-mathc: An Inference Rule for Incrementally Elaborating Set Istantiations, Journal of automated reasoning , 11(3), 1993, pp. 391-428
Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning
Authors: C.R.Baral
Journal: Journal of automated reasoning
Citation: C.r.baral, Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning, Journal of automated reasoning , 10(3), 1993, pp. 399-420
Basic Researc Problems: The Problem of Reasoning by Analogy
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Researc Problems: The Problem of Reasoning by Analogy, Journal of automated reasoning , 10(3), 1993, pp. 421-422
Book Review: Intelligent Help: Communicating with Knowledge-Based Systems(Simon Parsons)
Authors: SR.M.Pilkington
Journal: Journal of automated reasoning
Citation: Sr.m.pilkington, Book Review: Intelligent Help: Communicating with Knowledge-Based Systems(Simon Parsons), Journal of automated reasoning , 11(3), 1993, pp. 429-432
Basic Research Problems: The Problem of Induction
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Induction, Journal of automated reasoning , 11(3), 1993, pp. 433-434
Results: 1-25 | 26-40