LEADER 05330nam 2200637 450 001 996465607703316 005 20220308170643.0 010 $a0-387-34768-2 024 7 $a10.1007/978-0-387-34768-4 035 $a(CKB)1000000000228158 035 $a(SSID)ssj0000320752 035 $a(PQKBManifestationID)11230055 035 $a(PQKBTitleCode)TC0000320752 035 $a(PQKBWorkID)10249625 035 $a(PQKB)10961541 035 $a(DE-He213)978-0-387-34768-4 035 $a(MiAaPQ)EBC3073357 035 $a(MiAaPQ)EBC6569124 035 $a(Au-PeEL)EBL6569124 035 $a(OCoLC)1127173313 035 $a(PPN)155227254 035 $a(EXLCZ)991000000000228158 100 $a20220308d1984 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$a7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 $eproceedings /$fedited by R. E. Shostak 205 $a1st ed. 1984. 210 1$aNew York :$cSpringer-Verlag,$d[1984] 210 4$dİ1984 215 $a1 online resource (VIII, 509 p.) 225 1 $aLecture Notes in Computer Science ;$vVolume 170 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-387-96022-8 320 $aIncludes bibliographical references at the end of each chapters. 327 $aUniversal Unification -- A Portable Environment for Research in Automated Reasoning -- A Natural Proof System Based on Rewriting Techniques -- EKL?A Mathematically Oriented Proof Checker -- A Linear Characterization of NP-Complete Problems -- A Satisfiability Tester for Non-Clausal Propositional Calculus -- A Decision Method for Linear Temporal Logic -- A Progress Report on New Decision Algorithms for Finitely Presented Abelian Groups -- Canonical Forms in Finitely Presented Algebras -- Term Rewriting Systems and Algebra -- Termination of a Set of Rules Modulo a Set of Equations -- Associative-Commutative Unification -- A Linear Time Algorithm for a Subcase of Second Order Instantiation -- A New Equational Unification Method: A Generalisation of Martelli-Montanari?s Algorithm -- A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering that x 3 = x Implies Ring Commutativity -- A Narrowing Procedure for Theories with Constructors -- A General Inductive Completion Algorithm and Application to Abstract Data Types -- The Next Generation of Interactive Theorem Provers -- The Linked Inference Principle, II: The User?s Viewpoint -- A New Interpretation of the Resolution Principle -- Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving -- Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs -- Analytic and Non-analytic Proofs -- Applications of Protected Circumscription -- Implementation Strategies for Plan-Based Deduction -- A Programming Notation for Tactical Reasoning -- The Mechanization of Existence Proofs of Recursive Predicates -- Solving Word Problems in Free Algebras Using Complexity Functions -- Solving a Problem in Relevance Logic with an Automated Theorem Prover. 330 $aThe Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) . 410 0$aLecture notes in computer science ;$vVolume 170. 606 $aAutomatic theorem proving$vCongresses 606 $aLogic, Symbolic and mathematical$vCongresses 606 $aComputer science 615 0$aAutomatic theorem proving 615 0$aLogic, Symbolic and mathematical 615 0$aComputer science. 676 $a004.015113 702 $aShostak$b Robert$f1931- 712 12$aInternational Conference on Automated Deduction 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465607703316 996 $a7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984$92830547 997 $aUNISA LEADER 05265nam 2201525z- 450 001 9910619463803321 005 20231214133037.0 010 $a3-0365-5457-2 035 $a(CKB)5670000000391636 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/93251 035 $a(EXLCZ)995670000000391636 100 $a20202210d2022 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTarget and Non-Target Approaches for Food Authenticity and Traceability 210 $cMDPI - Multidisciplinary Digital Publishing Institute$d2022 215 $a1 electronic resource (278 p.) 311 $a3-0365-5458-0 330 $aOver the last few years, the subject of food authenticity and food fraud has received increasing attention from consumers and other stakeholders, such as government agencies and policymakers, control labs, producers, industry, and the research community. Among the different approaches aiming to identify, tackle, and/or deter fraudulent practices in the agri-food sector, the development of new, fast, and accurate methodologies to evaluate food authenticity is of major importance. This book, entitled ?Target and Non-Target Approaches for Food Authenticity and Traceability?, gathers original research and review papers focusing on the development and application of both targeted and non-targeted methodologies applied to verify food authenticity and traceability. The contributions regard different foods, among which some are frequently considered as the most prone to adulteration, such as olive oil, honey, meat, and fish. This book is intended for readers aiming to enrich their knowledge through reading contemporary and multidisciplinary papers on the topic of food authentication. 606 $aTechnology: general issues$2bicssc 610 $aCOIBar-RFLP (cytochrome oxidase I barcode-restriction fragment length polymorphism) 610 $aseafood 610 $afraud 610 $aDNA barcoding 610 $afood authenticity 610 $afood adulteration 610 $afood fraud 610 $adonkey 610 $acytochrome b 610 $areal-time PCR 610 $ameat products 610 $ahoney 610 $aregional origin 610 $achemometric analysis 610 $amineral content 610 $aMontenegro 610 $aSepia 610 $acommon cuttlefish 610 $aSepia officinalis 610 $areal-time PCR (Polymerase Chain Reaction) 610 $aspecies identification 610 $afood authentication 610 $aCOI (Cytochrome Oxidase I) 610 $aOlea europaea var Sylvestris 610 $aoleaster 610 $aolive 610 $aolive oil 610 $aadulteration 610 $aSNP 610 $aDNA 610 $avirgin olive oil 610 $aquality 610 $avolatile compounds 610 $asensory analysis 610 $achemometrics 610 $aanti food fraud 610 $aCurcuma longa 610 $aDNA markers 610 $aSYBR-GREEN real-time PCR 610 $aZea mays 610 $apasta 610 $aTriticum aestivum 610 $aTriticum durum 610 $agenetic traceability 610 $adigital PCR 610 $asemolina 610 $aspecies 610 $atruffle 610 $aTuber spp. 610 $aspecies differentiation 610 $anear-infrared spectroscopy 610 $ared deer 610 $aroe deer 610 $awater deer 610 $amultiplex PCR 610 $acapillary electrophoresis 610 $aperilla 610 $asesame 610 $ageographic origin 610 $ametabolomics 610 $amultivariate analysis 610 $ametabolite profiling 610 $aquantification 610 $achicken 610 $aguinea fowl 610 $apheasant 610 $aquail 610 $aturkey 610 $aauthentication 610 $aauthenticity 610 $achemometric 610 $afish 610 $aorigin 610 $ameat 610 $amilk 610 $aspectroscopy 610 $a1H-NMR 610 $aGC-MS 610 $aHPLC-UV/VIS 610 $aprotein hydrolysate 610 $afree amino acid contents 610 $aProHydrAdd 610 $amonofloral honey 610 $adirect analysis in real time (DART) 610 $ahigh resolution mass spectrometry (HRMS) 610 $ageographical origin 610 $aGinkgo biloba 610 $aplant infusions 610 $areal-time polymerase chain reaction 610 $aDNA extraction 610 $aopium poppy 610 $aseed 610 $apollen grains 610 $abakery product 610 $aoil 610 $aPCR 610 $aSalmo salar L. 610 $afatty acids 610 $amislabeling 610 $amachine learning 615 7$aTechnology: general issues 700 $aAmaral$b Joana S$4edt$01323089 702 $aAmaral$b Joana S$4oth 906 $aBOOK 912 $a9910619463803321 996 $aTarget and Non-Target Approaches for Food Authenticity and Traceability$93035369 997 $aUNINA