03869nam 22006495 450 99646558190331620200702175918.03-540-46508-110.1007/3-540-46508-1(CKB)1000000000211206(SSID)ssj0000321528(PQKBManifestationID)11227087(PQKBTitleCode)TC0000321528(PQKBWorkID)10280880(PQKB)10116997(DE-He213)978-3-540-46508-9(MiAaPQ)EBC3072101(PPN)155177648(EXLCZ)99100000000021120620121227d2000 u| 0engurnn|008mamaatxtccrAutomated Deduction in Classical and Non-Classical Logics[electronic resource] Selected Papers /edited by Ricardo Caferra, Gernot Salzer1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (VIII, 304 p.) Lecture Notes in Artificial Intelligence ;1761Bibliographic Level Mode of Issuance: Monograph3-540-67190-0 Includes bibliographical references and index.Invited Papers -- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory -- Higher-Order Modal Logic—A Sketch -- Proving Associative-Commutative Termination Using RPO-Compatible Orderings -- Decision Procedures and Model Building or How to Improve Logical Information in Automated Deduction -- Replacement Rules with Definition Detection -- Contributed Papers -- On the Complexity of Finite Sorted Algebras -- A Further and Effective Liberalization of the ?-Rule in Free Variable Semantic Tableaux -- A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory -- Interpretation of a Mizar-Like Logic in First Order Logic -- An ((n · log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic -- Implicational Completeness of Signed Resolution -- An Equational Re-engineering of Set Theories -- Issues of Decidability for Description Logics in the Framework of Resolution -- Extending Decidable Clause Classes via Constraints -- Completeness and Redundancy in Constrained Clause Logic -- Effective Properties of Some First Order Intuitionistic Modal Logics -- Hidden Congruent Deduction -- Resolution-Based Theorem Proving for SH n-Logics -- Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized ?-Rule but Without Skolemization.Lecture Notes in Artificial Intelligence ;1761Artificial intelligenceMathematical logicComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial intelligence.Mathematical logic.Computer logic.Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.006.3/33Caferra Ricardoedthttp://id.loc.gov/vocabulary/relators/edtSalzer Gernotedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465581903316Automated deduction in classical and non-classical logics1488828UNISA02663nas 2200481 n 450 99000888427040332120240229084345.00302-4369000888427FED01000888427(Aleph)000888427FED01000888427CNRP 0002008720090724b19741985km-y0itaa50------bamulDKauu--------Acta chemica Scandinavica. Series B: Organic chemistry and biochemistry1974-1985CopenhagenMunksgaard0010008884252001Acta chemica Scandinavica. B, Organic chemistry and biochemistry0010008884222001Acta chemica ScandinavicaActa chemica Scandinavica. Series B: Organic chemistry and biochemistry547, 574547574.192Kemisk Forening Suomen Kemian Seura Norsk Kjemisk Selskap Svenska KemistsamfundetITACNP20090723http://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=11914&person=false&language=ITALIANO&libr=&libr_th=unina1Biblioteche che possiedono il periodicoSE990008884270403321Biblioteca. Dipartimento di Chimica. Complesso Universitario di Monte S. Angelo.1974-1985.DCHBiblioteca Centrale. Facoltà di Farmacia. Polo delle Scienze e delle Tecnologie per la Vita. Università "Federico II" Napoli1977-1985.31(1977)-39(1985).FFABCBiblioteca del Dipartimento di Chimica Organica e Biochimica dell'Università di Napoli Federico II.1974-1979;1981-1985.21DCOBDCHFFABCDCOBActa chemica Scandinavica. Series B: Organic chemistry and biochemistry802242UNINA866-01NA007 Biblioteca. Dipartimento di Chimica. Complesso Universitario di Monte S. Angelo.via Cinthia 4, 80126 Napoli (NA)081674497-081674488081674090it866-02NA074 Biblioteca Centrale. Facoltà di Farmacia. Polo delle Scienze e delle Tecnologie per la Vita. Università "Federico II" Napolivia D. Montesano, 49, 80131 Napoli (NA)(081)678201/202/204(081) 678139it866-03NA233 Biblioteca del Dipartimento di Chimica Organica e Biochimica dell'Università di Napoli Federico II.21Via Cintia, 80126 Napoli (NA)081674322081674393itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=11914&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO