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

Articles table of contents

Results : 26-27/27
Identification of Inductive Properties during Verification of Synchronous Sequestial Circuits
Authors: I.Chakrabarti,D.Sarkar,A.K.Majumdar
Journal: Journal of automated reasoning
Citation: I.chakrabarti,d.sarkar,a.k.majumdar, Identification of Inductive Properties during Verification of Synchronous Sequestial Circuits, Journal of automated reasoning , 14(3), 1995, pp. 427-462
Commonsense and Nonmonotonic Reasoning: Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning
Authors: V.Lifschitz
Journal: Journal of automated reasoning
Citation: V.lifschitz, Commonsense and Nonmonotonic Reasoning: Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning, Journal of automated reasoning , 15(1), 1995, p.
Results: 1-25 | 26-27