01186nam--2200373---450-99000179576020331620051130142734.0000179576USA01000179576(ALEPH)000179576USA0100017957620040628d1976----km-y0itay0103----baitaITa|||||||001yyArt nouveauun'avventura artistica internazionale tra rivoluzione e reazione, tra cosmopolitismo e provincia tra costante ed effimero, tra sublime e stravaganteLara Vinca Masiniprogetto grafico e collaborazione di Alessandro VezzosiFirenzeGiunti1976429 p.ill.27 cm20012001001-------2001Art nouveau709.034MASINI,Lara Vinca216951VEZZOSI,AlessandroITsalbcISBD990001795760203316XII.2.C. 167(VII A 69)74591 L.M.VII ABKUMASIAV41020040628USA011130COPAT69020051130USA011427Art nouveau209786UNISA05418nam 22007575 450 99646556490331620200701222648.03-540-44622-210.1007/3-540-44622-2(CKB)1000000000211277(SSID)ssj0000322119(PQKBManifestationID)11937852(PQKBTitleCode)TC0000322119(PQKBWorkID)10281436(PQKB)11544723(DE-He213)978-3-540-44622-4(MiAaPQ)EBC3071790(PPN)155234102(EXLCZ)99100000000021127720121227d2000 u| 0engurnn|008mamaatxtccrComputer Science Logic[electronic resource] 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /edited by Peter G. Clote, Helmut Schwichtenberg1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (XIV, 550 p.) Lecture Notes in Computer Science,0302-9743 ;1862Bibliographic Level Mode of Issuance: Monograph3-540-67895-6 Includes bibliographical references and index.Invited Papers -- Background, Reserve, and Gandy Machines -- Choiceless Polynomial Time Computation and the Zero-One Law -- Composition and Submachine Concepts for Sequential ASMs -- Une tentative malheureuse de construire une structure éliminant rapidement les quanteurs -- Translating Theory into Practice — Abstract State Machines within Microsoft -- Choiceless Polynomial Time Logic: Inability to Express -- Schema Revisited -- Automated Verification = Graphs, Automata, and Logic -- Contributed Papers -- A Fully Complete PER Model for ML Polymorphic Types -- Subtyping with Power Types -- The Descriptive Complexity of the Fixed-Points of Bounded Formulas -- Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic -- Continuous Functionals of Dependent Types and Equilogical Spaces -- Definability over Linear Constraints -- Bounded Arithmetic and Descriptive Complexity -- Independence: Logics and Concurrency -- Flatness Is Not a Weakness -- Sequents, Frames, and Completeness -- Disjunctive Tautologies as Synchronisation Schemes -- Axiomatizing the Least Fixed Point Operation and Binary Supremum -- Interactive Programs in Dependent Type Theory -- Modal Satisfiability Is in Deterministic Linear Space -- Logic Programming and Co-inductive Definitions -- A Theory of Explicit Mathematics Equivalent to ID 1 -- On the Complexity of Explicit Modal Logics -- Finite Models and Full Completeness -- On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale -- Elimination of Negation in a Logical Framework -- Discreet Games, Light Affine Logic and PTIME Computation -- Completeness of Higher-Order Duration Calculus -- Equational Termination by Semantic Labelling -- On the Computational Interpretation of Negation -- From Programs to Games: Invariance and Safety for Bisimulation -- Logical Relations and Data Abstraction -- Elementary Choiceless Constructive Analysis -- On the Logic of the Standard Proof Predicate.Lecture Notes in Computer Science,0302-9743 ;1862Artificial intelligenceProgramming languages (Electronic computers)Architecture, ComputerMathematical logicComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial intelligence.Programming languages (Electronic computers).Architecture, Computer.Mathematical logic.Computer logic.Artificial Intelligence.Programming Languages, Compilers, Interpreters.Computer System Implementation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Mathematical Logic and Foundations.004/.01/5113Clote Peter Gedthttp://id.loc.gov/vocabulary/relators/edtSchwichtenberg Helmutedthttp://id.loc.gov/vocabulary/relators/edtEuropean Association for Computer Science Logic.Conference(9th :2000 :Fischbachau, Germany),Workshop on Computer Science LogicBOOK996465564903316Computer Science Logic771972UNISA01880nam 2200409 n 450 99638523960331620200824121337.0(CKB)4940000000071147(EEBO)2240939082(UnM)99848876e(UnM)99848876(EXLCZ)99494000000007114719920121d1586 uy |engurbn||||a|bb|The third part of the first booke, of the Mirrour of knighthood[electronic resource] vvherein is set forth the worthie deedes of the knight of the Sunne, and his brother Rosicleer, both sonnes vnto the Emperour of Grecia: with the valiant deedes of armes of sundry worthie knights. Verie delightfull to the reader. Newly translated out of Spanish into English by R.PImprinted at London By Thomas East[1586?][4], 252 leavesIn fact a translation of book 3 of part 1 of "Espejo de principes y cavalleros", written by Diego Ortúñez de Calahorra. There were three further parts by other authors (STC 18866-71).The translation is sometimes attributed to Robert Parry or to Robert Parke.Publication date conjectured by STC.Cf. Folger catalogue, which gives signatures: A⁴ B-2K 2L⁴.Reproduction of the original in the Henry E. Huntington Library and Art Gallery.eebo-0113R. Pfl. 1583-1586.1008849Parry Robertfl. 1540-1612.1005913Parke Robertfl. 1588.1002593Ortúñez de Calahorra DiegoautCu-RivESCu-RivESUk-ESCStRLINWaOLNBOOK996385239603316The third part of the first booke, of the Mirrour of knighthood2374043UNISA