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

Articles table of contents

Results : 26-39/39
Proof Strategies in Linear Logic
Authors: T.Tammet
Journal: Journal of automated reasoning
Citation: T.tammet, Proof Strategies in Linear Logic, Journal of automated reasoning , 12(3), 1994, pp. 273-304
Automated Reasoning With Analytic Tableaux: METEROR: Exploring Model Elimination Theorem Proving
Authors: O.Astrachan
Journal: Journal of automated reasoning
Citation: O.astrachan, Automated Reasoning With Analytic Tableaux: METEROR: Exploring Model Elimination Theorem Proving, Journal of automated reasoning , 13(3), 1994, pp. 283-296
Automated Reasoning With Analytic Tableaux: Controller Integration of the Cut Rule into Connection Tableau Calculi
Authors: R.Lentz,K.Mayr,C.Goller
Journal: Journal of automated reasoning
Citation: R.lentz,k.mayr,c.goller, Automated Reasoning With Analytic Tableaux: Controller Integration of the Cut Rule into Connection Tableau Calculi, Journal of automated reasoning , 13(3), 1994, pp. 297-338
A Semantics for a Procedure to Prove Statements in Differential Geometry
Authors: L.Raschid,J.Lobo
Journal: Journal of automated reasoning
Citation: L.raschid,j.lobo, A Semantics for a Procedure to Prove Statements in Differential Geometry, Journal of automated reasoning , 12(3), 1994, pp. 305-350
Automated Reasoning With Analytic Tableaux: Model Elimination Without Contrapositives and Its Application to PTTP
Authors: P.Baumgartner,U.Furbach
Journal: Journal of automated reasoning
Citation: P.baumgartner,u.furbach, Automated Reasoning With Analytic Tableaux: Model Elimination Without Contrapositives and Its Application to PTTP, Journal of automated reasoning , 13(3), 1994, pp. 339-360
An Extension of a Procedure to Prove Statements in Differential Geometry
Authors: G.Carrà Ferro
Journal: Journal of automated reasoning
Citation: G.carrà Ferro, An Extension of a Procedure to Prove Statements in Differential Geometry, Journal of automated reasoning , 12(3), 1994, pp. 351-358
Improving the Efficency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures
Authors: S.J.Lee,C.H.Wu
Journal: Journal of automated reasoning
Citation: S.j.lee,c.h.wu, Improving the Efficency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures, Journal of automated reasoning , 12(3), 1994, pp. 359-388
Automated Reasoning With Analytic Tableaux: An Improved Refutation System for Intuitionistic Predicate Logic
Authors: P.Miglioli,U.Moscato,M.Ornaghi
Journal: Journal of automated reasoning
Citation: P.miglioli,u.moscato,m.ornaghi, Automated Reasoning With Analytic Tableaux: An Improved Refutation System for Intuitionistic Predicate Logic, Journal of automated reasoning , 13(3), 1994, pp. 361-374
Automated Reasoning With Analytic Tableaux: A Tableau Prover for Domain Minimization
Authors: S.Lorentz
Journal: Journal of automated reasoning
Citation: S.lorentz, Automated Reasoning With Analytic Tableaux: A Tableau Prover for Domain Minimization, Journal of automated reasoning , 13(3), 1994, pp. 375-390
Reduction and Unification in Lambda Calculi with a General Notion of Subtype
Authors: Z.Qian,T.Nipkow
Journal: Journal of automated reasoning
Citation: Z.qian,t.nipkow, Reduction and Unification in Lambda Calculi with a General Notion of Subtype, Journal of automated reasoning , 12(3), 1994, pp. 389-406
Automated Reasoning With Analytic Tableaux: The Saturated Tableaux for Linear Miniscoped Horn-Like Temporal Logic
Authors: R.Pliuskevicius
Journal: Journal of automated reasoning
Citation: R.pliuskevicius, Automated Reasoning With Analytic Tableaux: The Saturated Tableaux for Linear Miniscoped Horn-Like Temporal Logic, Journal of automated reasoning , 13(3), 1994, pp. 391-408
Basic Research Problems: The Problem of Hyperparamodulation and Nuclei
Authors: L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Hyperparamodulation and Nuclei, Journal of automated reasoning , 12(3), 1994, pp. 407-410
Automated Reasoning With Analytic Tableaux: Tableau-based Theorem Provers: Systems and Implementations
Authors: j.Schumann
Journal: Journal of automated reasoning
Citation: J.schumann, Automated Reasoning With Analytic Tableaux: Tableau-based Theorem Provers: Systems and Implementations, Journal of automated reasoning , 13(3), 1994, pp. 409-422
Errata: Z-match: An Inference Rule for Incrementally Elaborating Set Istantiations (J.Automated Reasoning 11,391;428,1993)
Authors: S.C.Bailin,D.Barker-Plummer
Journal: Journal of automated reasoning
Citation: S.c.bailin,d.barker-plummer, Errata: Z-match: An Inference Rule for Incrementally Elaborating Set Istantiations (J.Automated Reasoning 11,391;428,1993), Journal of automated reasoning , 12(3), 1994, pp. 411-412
Results: 1-25 | 26-39