01086nam0-22003491i-450-99000640859040332120080409130858.02-275-00566-8000640859FED01000640859(Aleph)000640859FED0100064085920000606d1992----km-y0itay50------bafreFRy-------001yy<<Les >>principes géneraux de la lex mercatoriacontribution a l'étude d'un ordre juridique anationalFilali Osmanpreface de Eric LoquinParisLibrairie général de droit et de jurisprudence1992XIII, 515 p.24 cmBibliothèque de droit privé224346.0720itOsman,Filali241120Loquin,EricITUNINARICAUNIMARCBK990006408590403321COLL. 194 (224)38422*FGBCN2 60s.i.DSIFGBCDSIPrincipes généraux de la Lex mercatoria207340UNINA03886nam 22006735 450 99646609190331620200701012452.03-540-48586-410.1007/BFb0030541(CKB)1000000000234145(SSID)ssj0000324193(PQKBManifestationID)11236835(PQKBTitleCode)TC0000324193(PQKBWorkID)10304645(PQKB)11704877(DE-He213)978-3-540-48586-5(PPN)155163639(EXLCZ)99100000000023414520121227d1994 u| 0engurnn|008mamaatxtccrIsabelle[electronic resource] A Generic Theorem Prover /by Lawrence C. Paulson1st ed. 1994.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1994.1 online resource (XIX, 329 p.) Lecture Notes in Computer Science,0302-9743 ;828Bibliographic Level Mode of Issuance: Monograph3-540-58244-4 Foundations -- Getting started with Isabelle -- Advanced methods -- Basic use of Isabelle -- Proof management: The subgoal module -- Tactics -- Tacticals -- Theorems and forward proof -- Theories, terms and types -- Defining logics -- Syntax transformations -- Substitution tactics -- Simplification -- The classical reasoner -- Basic concepts -- First-order logic -- Zermelo-Fraenkel set theory -- Higher-order logic -- First-order sequent calculus -- Constructive Type Theory -- Syntax of Isabelle Theories.As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.Lecture Notes in Computer Science,0302-9743 ;828Mathematical logicComputer logicSoftware engineeringArtificial intelligenceMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Mathematical logic.Computer logic.Software engineering.Artificial intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Software Engineering.Artificial Intelligence.Mathematical Logic and Foundations.511.3/0285/53Paulson Lawrence Cauthttp://id.loc.gov/vocabulary/relators/aut62096Nipkow Tobias1958-62010BOOK996466091903316Isabelle2860225UNISA03549 am 2200541 n 450 991050350780332120210810979-1-03-656323-210.4000/books.cidehus.16433(CKB)4100000012059908(FrMaCLE)OB-cidehus-16433(oapen)https://directory.doabooks.org/handle/20.500.12854/87339(PPN)258323159(EXLCZ)99410000001205990820211025j|||||||| ||| 0poruu||||||m||||txtrdacontentcrdamediacrrdacarrierBibliotecas Universitárias: diálogos transatlânticos /Luiza Baptista Melo, Tatiana SanchesÉvora Publicações do Cidehus2021Biblioteca - Estudos & ColóquiosAs bibliotecas do ensino superior são organizações fundamentais para o sucesso das instituições de que fazem parte. Mas como melhorar o conhecimento em torno da sua história, funcionamento e orgânica, práticas ou perspetivas de futuro? Este livro fornece um conjunto de capítulos direcionados para os profissionais da área que se interessam sobre o tema, com vista a propiciar uma reflexão aprofundada, que estimule a melhoria dos serviços a que estão ligados. Reconhecendo o papel fundamental das bibliotecas universitárias, a presente obra procura colmatar uma lacuna nesta área, abrangendo múltiplas perspetivas. Estas visam estabelecer pontes entre Portugal e o Brasil, através dos contributos dos diferentes autores. Partindo de uma perspetiva histórica, é feita uma reflexão sobre o papel e o valor das bibliotecas universitárias também na atualidade, nas suas diversas vertentes. Focando-se no contexto da gestão do conhecimento e relacionando as tecnologias, a Ciência Aberta e a investigação, bem como as questões da qualidade e impacto, são aprofundados os principais temas que estruturam as atividades desenvolvidas nestas organizações, incluindo perspetivas de futuro. O livro procura assim dar um contributo para o conhecimento destas matérias tão importantes para a vida académica e para a sociedade em geral, com influências determinantes no bem-estar, desenvolvimento da cidadania e aprendizagem ao longo da vida. A obra é pensada para profissionais e outros interessados no tema das bibliotecas universitárias, sendo útil igualmente a decisores, professores e estudantes que se interessam pela área da informação e biblioteconomia em geral.Diálogos transatlânticosLibrary & information sciencesbicsscbibliotecas universitáriasgestão de bibliotecasestudos de utilizadorqualidade em bibliotecasrecursos de informaçãoLibrary & information sciencesCunha Murilo Bastos da1365011França Cláudio1365012Jesus Deise Lourenço de1365013Melo Luiza Baptista1307354Oddone Nanci1365014Revez Jorge1365015Sampaio Maria Imaculada Cardoso1365016Sanches Tatiana1287372Silva Iolanda1365017Melo Luiza Baptista1307354Sanches Tatiana1287372FR-FrMaCLEBOOK9910503507803321Bibliotecas Universitárias: diálogos transatlânticos3386663UNINA02782nam 2200625 a 450 991101889790332120200520144314.0978661278446097835276310633527631062978128278446812827844639783527630219352763021X97835276302263527630228(CKB)2560000000011814(EBL)540119(OCoLC)669749943(SSID)ssj0000430007(PQKBManifestationID)11965373(PQKBTitleCode)TC0000430007(PQKBWorkID)10449710(PQKB)10903736(MiAaPQ)EBC540119(Perlego)1013212(EXLCZ)99256000000001181420100629d2010 uy 0engur|n|---|||||txtccrTransitions in molecular systems /Hans J. KupkaWeinheim [Germany] Wiley-VCH20101 online resource (343 p.)Description based upon print version of record.9783527410132 3527410139 Includes bibliographical references (p. 313-326) and index.Transitions in Molecular Systems; Contents; Preface; 1 Introduction; 2 Formal Decay Theory of Coupled Unstable States; 3 Description of Radiationless Processes in Statistical Large Molecules; 4 Calculational Methods for Intramolecular Distributions I1, I2, and IN; 5 The Nuclear Coordinate Dependence of Matrix Elements; 6 Time-Resolved Spectroscopy; 7 Miscellaneous Applications; 8 Multidimensional Franck-Condon Factor; Appendices; References; IndexFilling the gap for a book covering vibronic, nonadiabatic and diabatic couplings as well as radiationless processes in context, this monograph compiles classic and cutting-edge work from numerous researchers into one handy source.Alongside a description of radiationless processes in statistical large molecules and calculational methods for intramolecular distributions, the authors also investigate the nuclear coordinate dependence of matrix elements. Whole chapters are devoted to the mathematical description of the lifetime and decay of a prepared states as well as miscellaneous applicatiEnergy levels (Quantum mechanics)Relaxation phenomenaEnergy levels (Quantum mechanics)Relaxation phenomena.541.22Kupka Hans J1841536MiAaPQMiAaPQMiAaPQBOOK9911018897903321Transitions in molecular systems4421290UNINA