LEADER 00846nam0-22002891i-450 001 990004755120403321 005 20211019113813.0 035 $a000475512 035 $aFED01000475512 035 $a(Aleph)000475512FED01 035 $a000475512 100 $a19990530g19689999km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aEpistole a Cesare$fSallustio$ga cura di Paolo Cugusi 210 $aRoma$cF.lli Palombi$d1968. 215 $a171 p.$d21 cm 225 1 $aTesti e studi per la Scuola Universitaria. Testi$v4 700 1$aSallustius Crispus,$bGaius$f<86-ca. 34 a. c.>$0154956 702 1$aCugusi,$bPaolo 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004755120403321 952 $aIX N 27$bBibl. 44542$fFLFBC 959 $aFLFBC 996 $aEpistole a Cesare$9558289 997 $aUNINA LEADER 04649nam 2200877 a 450 001 9910462101903321 005 20211103210927.0 010 $a1-283-62844-9 010 $a9786613940896 010 $a3-11-027407-8 024 7 $a10.1515/9783110274073 035 $a(CKB)2670000000274160 035 $a(EBL)912845 035 $a(OCoLC)815276599 035 $a(SSID)ssj0000778597 035 $a(PQKBManifestationID)12258161 035 $a(PQKBTitleCode)TC0000778597 035 $a(PQKBWorkID)10768419 035 $a(PQKB)10341943 035 $a(SSID)ssj0000791214 035 $a(PQKBManifestationID)12299731 035 $a(PQKBTitleCode)TC0000791214 035 $a(PQKBWorkID)10757833 035 $a(PQKB)23617067 035 $a(MiAaPQ)EBC912845 035 $a(DE-B1597)174428 035 $a(OCoLC)1013955344 035 $a(OCoLC)1037980059 035 $a(OCoLC)1041992126 035 $a(OCoLC)1046609757 035 $a(OCoLC)1047039865 035 $a(OCoLC)1049612397 035 $a(OCoLC)1054881911 035 $a(OCoLC)843486197 035 $a(DE-B1597)9783110274073 035 $a(Au-PeEL)EBL912845 035 $a(CaPaEBR)ebr10606467 035 $a(CaONFJC)MIL394089 035 $a(EXLCZ)992670000000274160 100 $a20120730d2012 uy 0 101 0 $aeng 135 $aurnn#---|u||u 181 $ctxt 182 $cc 183 $acr 200 00$aFrequency effects in language representation$b[electronic resource] /$fedited by Dagmar Divjak, Stefan Th. Gries 210 $aBerlin ;$aBoston $cDe Gruyter Mouton$d2012 215 $a1 online resource (290 p.) 225 0 $aTrends in linguistics.$pStudies and monographs,$x1861-4302 ;$v244.2 225 0 $aTrends in Linguistics. Studies and Monographs [TiLSM] ;$v244.2 300 $aDescription based upon print version of record. 311 0 $a3-11-027408-6 311 0 $a3-11-027378-0 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tPreface --$tTable of contents --$tIntroduction /$rDivjak, Dagmar --$tThings going unnoticed - A usage-based analysis of go-constructions /$rSchönefeld, Doris --$tThe Locative Alternation and the Russian 'empty' prefixes: A case study of the verb gruzit' 'load' /$rSokolova, Svetlana / Lyashevskaya, Olga / Janda, Laura A. --$tAlternation biases in corpora vs. picture description experiments: DO-biased and PD-biased verbs in the Dutch dative alternation /$rColleman, Timothy / Bernolet, Sarah --$tA unified lexicon and grammar? Compositional and non-compositional phrases in the lexicon /$rSnider, Neal / Arnon, Inbal --$tMeasuring Mental Entrenchment of Phrases with Perceptual Identification, Familiarity Ratings, and Corpus Frequency Statistics /$rCaldwell-Harris, Catherine / Berant, Jonathan / Edelman, Shimon --$tFigurative extensions of word meaning: How do corpus data and intuition match up? /$rLittlemore, Jeannette / MacArthur, Fiona --$tConversion and the lexicon: Comparing evidence from corpora and experimentation /$rTeddiman, Laura --$tAs lexical as it gets: The role of co-occurrence of antonyms in a visual lexical decision experiment /$rVan de Weijer, Joost / Paradis, Carita / Willners, Caroline / Lindgren, Magnus --$tSubject index 330 $aThe volume explores the relationship between well-studied aspects of language (constructional alternations, lexical contrasts and extensions and multi-word expressions) in a variety of languages (Dutch, English, Russian and Spanish) and their representation in cognition as mediated by frequency counts in both text and experiment. The state-of-the-art data collection (ranging from questionnaires to eye-tracking) and analysis (from simple chi-squared to random effects regression) techniques allow to draw theoretical conclusions from (mis)matches between different types of empirical data. The sis 410 0$aTrends in Linguistics. Studies and Monographs [TiLSM] 606 $aFrequency (Linguistics) 606 $aLinguistic change 606 $aLanguage and languages$xVariation 606 $aRepresentation (Philosophy) 608 $aElectronic books. 615 0$aFrequency (Linguistics) 615 0$aLinguistic change. 615 0$aLanguage and languages$xVariation. 615 0$aRepresentation (Philosophy) 676 $a410.1/51 701 $aDivjak$b Dagmar$01037057 701 $aGries$b Stefan Thomas$f1970-$0517466 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462101903321 996 $aFrequency effects in language representation$92470289 997 $aUNINA LEADER 08957nam 22008295 450 001 996465531903316 005 20200704035205.0 010 $a3-642-31365-5 024 7 $a10.1007/978-3-642-31365-3 035 $a(CKB)3400000000085357 035 $a(SSID)ssj0000697451 035 $a(PQKBManifestationID)11481602 035 $a(PQKBTitleCode)TC0000697451 035 $a(PQKBWorkID)10709325 035 $a(PQKB)10357989 035 $a(DE-He213)978-3-642-31365-3 035 $a(MiAaPQ)EBC3070155 035 $a(PPN)168319195 035 $a(EXLCZ)993400000000085357 100 $a20120621d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning$b[electronic resource] $e6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings /$fedited by Bernhard Gramlich, Dale Miller, Ulrike Sattler 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XIV, 568 p. 90 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v7364 300 $aInternational conference proceedings. 311 $a3-642-31364-7 320 $aIncludes bibliographical references and author index. 327 $tTaking Satisfiability to the Next Level with Z3$g(Abstract) /$rNikolaj Bjørner --$tEnlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics /$rYuri Matiyasevich --$tSAT and SMT Are Still Resolution: Questions and Challenges /$rRobert Nieuwenhuis --$tUnification Modulo Synchronous Distributivity /$rSiva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran and Michael Rusinowitch --$tSAT Encoding of Unification in ELHR+R+ w.r.t. Cycle-Restricted Ontologies /$rFranz Baader, Stefan Borgwardt and Barbara Morawska --$tUEL: Unification Solver for the Description Logic EL -- System Description /$rFranz Baader, Julian Mendez and Barbara Morawska --$tEffective Finite-Valued Semantics for Labelled Calculi /$rMatthias Baaz, Ori Lahav and Anna Zamansky --$tA Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic /$rFranc?ois Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala and Assia Mahboubi, et al. --$tHow Fuzzy Is My Fuzzy Description Logic? /$rStefan Borgwardt, Felix Distel and Rafael Pen?aloza --$tTruthful Monadic Abstractions /$rTaus Brock-Nannestad and Carsten Schu?rmann --$tSatallax: An Automatic Higher-Order Prover /$rChad E. Brown --$tFrom Strong Amalgamability to Modularity of Quantifier-Free Interpolation /$rRoberto Bruttomesso, Silvio Ghilardi and Silvio Ranise --$tSPARQL Query Containment under RDFS Entailment Regime /$rMelisachew Wudage Chekol, Je?ro?me Euzenat, Pierre Geneve?s and Nabil Layai?da. 327 $tAutomated Verification of Recursive Programs with Pointers /$rFrank de Boer, Marcello Bonsangue and Jurriaan Rot --$tSecurity Protocols, Constraint Systems, and Group Theories /$rSte?phanie Delaune, Steve Kremer and Daniel Pasaila --$tTaming Past LTL and Flat Counter Systems /$rSte?phane Demri, Amit Kumar Dhar and Arnaud Sangnier --$tA Calculus for Generating Ground Explanations /$rMnacho Echenim and Nicolas Peltier --$tEPR-Based Bounded Model Checking at Word Level /$rMoshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel and Andrei Voronkov --$tProving Non-looping Non-termination Automatically /$rFabian Emmes, Tim Enger and Ju?rgen Giesl --$tRewriting Induction + Linear Arithmetic = Decision Procedure /$rStephan Falke and Deepak Kapur --$tCombination of Disjoint Theories: Beyond Decidability /$rPascal Fontaine, Stephan Merz and Christoph Weidenbach --$tAutomated Analysis of Regular Algebra /$rSimon Foster and Georg Struth --$t[delta]-Complete Decision Procedures for Satisfiability over the Reals /$rSicun Gao, Jeremy Avigad and Edmund M. Clarke --$tBDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics /$rRajeev Gore? and Jimmy Thomson --$tFrom Linear Temporal Logic Properties to Rewrite Propositions /$rPierre-Cyrille He?am, Vincent Hugot and Olga Kouchnarenko --$tTableaux Modulo Theories Using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover /$rMe?lanie Jacquel, Karim Berkani, David Delahaye and Catherine Dubois. 327 $tSolving Non-linear Arithmetic /$rDejan Jovanovic? and Leonardo de Moura --$tInprocessing Rules /$rMatti Ja?rvisalo, Marijn J.H. Heule and Armin Biere --$tLogical Difference Computation with CEX2.5 /$rBoris Konev, Michel Ludwig and Frank Wolter --$tOverview and Evaluation of Premise Selection Techniques for Large Theory Mathematics /$rDaniel Ku?hlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban and Tom Heskes --$tBranching Time? Pruning Time! /$rMarkus Latte and Martin Lange --$tNew Algorithms for Unification Modulo One-Sided Distributivity and Its Variants /$rAndrew M. Marshall and Paliath Narendran --$tReachability Analysis of Program Variables /$r?urica Nikolic? and Fausto Spoto --$tPlaying Hybrid Games with KeYmaera /$rJan-David Quesel and Andre? Platzer --$tThe QMLTP Problem Library for First-Order Modal Logics /$rThomas Raths and Jens Otten --$tCorrectness of Program Transformations as a Termination Problem /$rConrad Rau, David Sabel and Manfred Schmidt-Schauss --$tFingerprint Indexing for Paramodulation and Rewriting /$rStephan Schulz --$tOptimization in SMT with LAA Q Cost Functions /$rRoberto Sebastiani and Silvia Tomasi --$tSynthesis for Unbounded Bit-Vector Arithmetic /$rAndrej Spielmann and Viktor Kuncak --$tExtended Caching, Backjumping and Merging for Expressive Description Logics /$rAndreas Steigmiller, Thorsten Liebig and Birte Glimm --$tKBCV -- Knuth-Bendix Completion Visualizer /$rThomas Sternagel and Harald Zankl --$tA PLTL-Prover Based on Labelled Superposition with Partial Model Guidance /$rMartin Suda and Christoph Weidenbach --$tStratification in Logics of Definitions /$rAlwen Tiu --$tDiabelli: A Heterogeneous Proof System /$rMatej Urbas and Mateja Jamnik. 330 $aThis book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. 410 0$aLecture Notes in Artificial Intelligence ;$v7364 606 $aMathematical logic 606 $aComputer logic 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer science?Mathematics 606 $aNumerical analysis 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 608 $aConference papers and proceedings.$2fast 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer science?Mathematics. 615 0$aNumerical analysis. 615 14$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aMathematics of Computing. 615 24$aNumeric Computing. 676 $a511.3/6028563 702 $aGramlich$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMiller$b Dale$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSattler$b Ulrike$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aIJCAR (Conference) 906 $aBOOK 912 $a996465531903316 996 $aAutomated Reasoning$9771895 997 $aUNISA