01762nam 2200445 450 00000110220120216125000.0--------d1861----km-y0itay0103----baengUSLife of George Washingtonby Washington Irving1 0008196New YorkPutnam1861v.ill.20 cm.<<The>> works of Washington IrvingWashington,George1732-1799973.41Irving,Washington<1783-1859>138711ITUniversità della Basilicata - B.I.A.RICAunimarc000001102Life of George Washington70361UNIBASMONLETMONOGRLETTERENANNI0119990707BAS010923DILEO0120000807BAS01105220000920BAS01182820001010BAS01163120050601BAS011752batch0120050718BAS01104720050718BAS01110620050718BAS01113620050718BAS011150BATCH0020070503BAS011736ATR4020120216BAS011250BAS01BAS01BOOKBASA1Polo Storico-UmanisticoGENCollezione generaleFP/1978FP/19781978L197819990707302Prestabile GeneraleXIV, 483 p.BAS01BAS01BOOKBASA1Polo Storico-UmanisticoGENCollezione generaleFP/1985FP/19851985L198519990707402Prestabile GeneraleXI, 479 p.BAS01BAS01BOOKBASA1Polo Storico-UmanisticoGENCollezione generaleFP/1986FP/19861986L198619990707502Prestabile GeneraleXII, 434 p.01682nam0 22003371i 450 UON0031820520231205104128.748978-20-209-3269-120081210d2007 |0itac50 bafreARAFR|||| 1||||Dictionnaire des mots français d'origine arabe, et turque et persaneaccompagné d'une anthologie littéraire, 400 extraits d'auteurs français, de Rebelais à... HouellebecqSalah Guemrichepréface d'Assia Djebar[Paris] : Seuilc2007877 p.24 cmSul front.: Ouvrage publié avec le concours du Centre National du Livre.Lingua franceseElementi arabiDizionari, glossari, etc.UONC070383FILingua franceseElementi persianiDizionari, glossari, etc.UONC070385FILingua franceseElementi turchiDizionari, glossari, etc.UONC070384FIPRESTITI LINGUISTICIFranciaDizionari, glossari, etc.UONC070386FIFRParisUONL002984442Lingue romanze. Etimologia della forma standard della lingua21GUEMRICHESalahUONV050858660544DJEBARAssiaUONV043019Éditions du SeuilUONV254259650ITSOL20250627RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00318205SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI IX GUE SI DC 975 7 Dictionnaire des mots français d'origine arabe, et turque et persane1372511UNIOR05973nam 22007815 450 991014416090332120251116234529.01-280-30782-X97866103078213-540-25938-410.1007/b98080(CKB)1000000000212408(SSID)ssj0000193846(PQKBManifestationID)11156933(PQKBTitleCode)TC0000193846(PQKBWorkID)10246396(PQKB)11664821(DE-He213)978-3-540-25938-1(MiAaPQ)EBC3088634(PPN)15521960X(EXLCZ)99100000000021240820121227d2004 u| 0engurnn#008mamaatxtccrLogic Based Program Synthesis and Transformation 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /edited by Maurice Bruynooghe1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (X, 238 p.)Lecture Notes in Computer Science,0302-9743 ;3018Bibliographic Level Mode of Issuance: Monograph3-540-22174-3 Includes bibliographical references at the end of each chapters and index.Invited Talk -- Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce -- Specification and Synthesis -- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures -- Correct OO Systems in Computational Logic -- Specification and Synthesis of Hybrid Automata for Physics-Based Animation -- Adding Concrete Syntax to a Prolog-Based Program Synthesis System -- Verification -- Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables -- Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 -- Analysis -- A Program Transformation for Backwards Analysis of Logic Programs -- An Efficient Staging Algorithm for Binding-Time Analysis -- Proving Termination with Adornments -- Transformation and Specialisation -- Constructively Characterizing Fold and Unfold -- Deterministic Higher-Order Patterns for Program Transformation -- From Interpreter to Logic Engine by Defunctionalization -- Linearization by Program Transformation -- Continuation Semantics as Horn Clauses -- Constraints -- Simplification of Database Integrity Constraints Revisited: A Transformational Approach -- Integration and Optimization of Rule-Based Constraint Solvers -- Introducing esra, a Relational Language for Modelling Combinatorial Problems.This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).Lecture Notes in Computer Science,0302-9743 ;3018Software engineeringComputer logicComputer programmingLogic, Symbolic and mathematicalArtificial intelligenceSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software engineering.Computer logic.Computer programming.Logic, Symbolic and mathematical.Artificial intelligence.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Programming Techniques.Mathematical Logic and Formal Languages.Artificial Intelligence.005.115Bruynooghe M(Maurice),edthttp://id.loc.gov/vocabulary/relators/edtLOPSTR (Symposium)MiAaPQMiAaPQMiAaPQBOOK9910144160903321Logic-Based Program Synthesis and Transformation2914320UNINA