03026nam 22004815 450 99646634900331620200701034024.03-540-39240-810.1007/BFb0000048(CKB)1000000000230184(SSID)ssj0000320751(PQKBManifestationID)11256866(PQKBTitleCode)TC0000320751(PQKBWorkID)10249371(PQKB)11534217(DE-He213)978-3-540-39240-8(PPN)15521005X(EXLCZ)99100000000023018420121227d1982 u| 0engurnn|008mamaatxtccr6th Conference on Automated Deduction[electronic resource] New York, USA, June 7-9, 1982 /edited by D. W. Loveland1st ed. 1982.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1982.1 online resource (VII, 389 p.)Lecture Notes in Computer Science,0302-9743 ;138Bibliographic Level Mode of Issuance: Monograph3-540-11558-7 Solving open questions with an automated theorem-proving program -- STP: A mechanized logic for specification and verification -- A look at TPS -- Logic machine architecture: Kernel functions -- Logic machine architecture: Inference mechanisms -- Procedure implementation through demodulation and related tricks -- The application of Homogenization to simultaneous equations -- Meta-level inference and program verification -- An example of FOL using metatheory -- Comparison of natural deduction and locking resolution implementations -- Derived preconditions and their use in program synthesis -- Automatic construction of special purpose programs -- Deciding combinations of theories -- Exponential improvement of efficient backtracking -- Exponential improvement of exhaustive backtracking: data structure and implementation -- Intuitionistic basis for non-monotonic logic -- Knowledge retrieval as limited inference -- On indefinite databases and the closed world assumption -- Proof by matrix reduction as plan + validation -- Improvements of a tautology-testing algorithm -- Representing infinite sequences of resolvents in recursive First-Order Horn Databases -- The power of the Church-Rosser property for string rewriting systems -- Universal unification and a classification of equational theories.Lecture Notes in Computer Science,0302-9743 ;138Mathematical logicMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical logic.Mathematical Logic and Formal Languages.005.131Loveland D. Wedthttp://id.loc.gov/vocabulary/relators/edtBOOK9964663490033166th Conference on Automated Deduction2830824UNISA