LEADER 01082nam0-22003971i-450- 001 990000846190403321 005 20080430111823.0 010 $a0-486-63463-9 035 $a000084619 035 $aFED01000084619 035 $a(Aleph)000084619FED01 035 $a000084619 100 $a20020821d1977----km-y0itay50------ba 101 0 $aeng 105 $aa---a---001yy 200 1 $aDifferential equations$egeomtric theory$fSolomon Lefschetz 205 $a2nd ed. 210 $aNew York$cDover Publications Inc.$dc1977 215 $ax, 390 p.$cill.$d21 cm 610 0 $aEquazioni differenziali ordinarie 610 0 $aTeoria qualitativa 676 $a515.35 700 1$aLefschetz,$bSolomon$012523 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000846190403321 952 $a02 30 D 18$b2988$fFINBN 952 $aFIRB-34-(003$b21876$fMA1 952 $a10 B II 330$b715 DEE$fDINEL 959 $aFINBN 959 $aMA1 959 $aDINEL 962 $a34C10 962 $a34-02 996 $aDifferential equations$982414 997 $aUNINA LEADER 04458nam 22007575 450 001 996202528603316 005 20230329181725.0 010 $a3-662-44145-4 024 7 $a10.1007/978-3-662-44145-9 035 $a(CKB)3710000000227442 035 $a(SSID)ssj0001338771 035 $a(PQKBManifestationID)11735575 035 $a(PQKBTitleCode)TC0001338771 035 $a(PQKBWorkID)11344874 035 $a(PQKB)10156986 035 $a(DE-He213)978-3-662-44145-9 035 $a(MiAaPQ)EBC6285042 035 $a(MiAaPQ)EBC5594682 035 $a(Au-PeEL)EBL5594682 035 $a(OCoLC)889435022 035 $a(PPN)180625861 035 $a(EXLCZ)993710000000227442 100 $a20140823d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /$fedited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XX, 237 p. 17 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8652 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-44144-6 320 $aIncludes bibliographical references and index. 327 $aOn Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types for normalization and verification -- Quantum State Transformations and Branching Distributed Temporal Logic -- Backward deterministic Büchi automata -- Deniability for Downward and Vertical XPath on Data Trees -- On the value of variables -- Logics with Copy and Remove -- Unranked Second-Order Anti-Unification -- Reinstatement and the requirement of maximal specificity in argument Systems -- Sequentialization for N-Graphs via Sub-N-Graphs -- Interrogative dependencies and the constructive content of inquisitive Proofs -- Modal logics of uncertainty with two layer-syntax: a general completeness theorem -- Ancestral Logic: a Proof Theoretical Study -- A Calculus of Anyons -- Theorems on Pre-Fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics of Armstrong's Axioms -- On Distributed Stochastic Logics for Mobile Systems -- On the Construction of Analytic Sequent Calculi for Sub-classical Logics -- On the Broader Epistemological Significance of Self-Justifying Axiom Systems. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented  together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8652 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 606 $aAlgorithms 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aAlgorithms. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aAlgorithms. 676 $a511.3 702 $aKohlenbach$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBarceló$b Pablo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy J G B$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996202528603316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA LEADER 01597nam 2200373 450 001 9910702784703321 005 20141105163353.0 035 $a(CKB)5470000002430349 035 $a(OCoLC)894525441 035 $a(EXLCZ)995470000002430349 100 $a20141105d2014 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aElectricity markets, demand-reponse activities have increased, but FERC could improve data collection and reporting efforts : report to congressional requesters 210 1$a[Washington, D.C.] :$cUnited States Government Accountability Office,$d2014. 215 $a1 online resource (ii, 60 pages) $ccolor illustrations, color map 300 $aTitle from title screen (viewed Oct. 15, 2014). 300 $a"March 2014." 300 $a"GAO-14-73." 320 $aIncludes bibliographical references. 517 $aElectricity markets, demand-reponse activities have increased, but FERC could improve data collection and reporting efforts 606 $aDemand-side management (Electric utilities) 606 $aElectric power distribution$zUnited States$xEvaluation 615 0$aDemand-side management (Electric utilities) 615 0$aElectric power distribution$xEvaluation. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910702784703321 996 $aElectricity markets, demand-reponse activities have increased, but FERC could improve data collection and reporting efforts : report to congressional requesters$93161484 997 $aUNINA