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

Articles table of contents

Results : 26-30/30
Integrating Computer Algebra into Proof Planning
Authors: M.Kerber,M.Kohlhase,V.Sorge
Journal: Journal of automated reasoning
Citation: M.kerber,m.kohlhase,v.sorge, Integrating Computer Algebra into Proof Planning, Journal of automated reasoning , 21(3), 1998, pp. 327-355
Automated Deduction Techniques for Classification in Description Logic Systems
Authors: M.Paramasivam,D.A.Plaisted
Journal: Journal of automated reasoning
Citation: M.paramasivam,d.a.plaisted, Automated Deduction Techniques for Classification in Description Logic Systems, Journal of automated reasoning , 20(3), 1998, pp. 337-364
A New Approach for Automatic Theorem Proving in Real Geometry
Authors: A.Dolzmann,T.Sturm,V.Weispfenning
Journal: Journal of automated reasoning
Citation: A.dolzmann,t.sturm,v.weispfenning, A New Approach for Automatic Theorem Proving in Real Geometry, Journal of automated reasoning , 21(3), 1998, pp. 357-380
Triviality and Dimension of a System of Algebraic Differential Equations
Authors: A.K.Rody,H.Maarouf
Journal: Journal of automated reasoning
Citation: A.k.rody,h.maarouf, Triviality and Dimension of a System of Algebraic Differential Equations, Journal of automated reasoning , 20(3), 1998, pp. 365-385
Well-Behaved inference Rules for First-Order Theorem Proving
Authors: J.Wu,Z.Liu
Journal: Journal of automated reasoning
Citation: J.wu,z.liu, Well-Behaved inference Rules for First-Order Theorem Proving, Journal of automated reasoning , 21(3), 1998, pp. 381-400
Results: 1-25 | 26-30