01359nam0 2200313 i 450 SUN000750320070910120000.088-238-0242-3IT95 241320020826d1994 |0itac50 baitaIT|||| |||||Tendenze evolutive del leasing e del factoring nel mercato unico europeopresentazione di Roberto RuoziMilanoEgea[1994]XI, 256 p.24 cm.001SUN00038312001 NewfinCentro studi sull'innovazione finanziaria dell'Università Bocconi12210 MilanoEgea.LeasingPaesi della Comunit economica europeaFISUNC004463FactoringPaesi della Comunit economica europeaFISUNC004464MilanoSUNL000284658.1524221Ruozi, RobertoSUNV003615EgeaSUNV000047650ITSOL20181109RICASUN0007503UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00 CONS X.Ed.89 00 7226 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA7226CONS X.Ed.89paTENDENZE evolutive del leasing e del factoring nel mercato unico europeo646840UNICAMPANIA06594nam 22005775 450 99646547870331620200629125535.03-540-47279-710.1007/BFb0013043(CKB)1000000000233852(SSID)ssj0000324517(PQKBManifestationID)11245117(PQKBTitleCode)TC0000324517(PQKBWorkID)10313081(PQKB)11621998(DE-He213)978-3-540-47279-7(PPN)155201980(EXLCZ)99100000000023385220121227d1992 u| 0engurnn|008mamaatxtccrLogic Programming and Automated Reasoning[electronic resource] International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings /edited by Andrei Voronkov1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (XVI, 516 p.) Lecture Notes in Artificial Intelligence ;624Bibliographic Level Mode of Issuance: Monograph3-540-55727-X Soundness and completeness of partial deductions for well-founded semantics -- On deductive planning and the frame problem -- On resolution in fragments of classical linear logic (extended abstract) -- A procedure for automatic proof nets construction -- Free logic and infinite constraint networks -- Towards probabilistic knowledge bases -- Two-level grammar: A functional/logic query language for database and knowledge-base systems -- Extending deductive database languages by embedded implications -- Controlling redundancy in large search spaces: Argonne-style theorem proving through the years -- Resolution for many-valued logics -- An ordered theory resolution calculus -- Application of automated deduction to the search for single axioms for exponent groups -- Elementary lower bounds for the lengths of refutations -- Shortening proofs by quantifier introduction -- Reform compilation for nonlinear recursion -- Pruning infinite failure branches in programs with occur-check -- The use of planning critics in mechanizing inductive proofs -- ??-Calculus: An algorithmic interpretation of classical natural deduction -- Building proofs by analogy via the Curry-Howard Isomorphism -- On the use of the constructive omega-rule within automated deduction -- OR-parallel theorem proving with random competition -- Parallel computation of multiple sets-of-support -- Towards using the Andorra Kernel Language for industrial real-time applications -- Unification in a combination of equational theories with shared constants and its application to primal algebras -- Non-clausal resolution and superposition with selection and redundancy criteria -- Relating innermost, weak, uniform and modular termination of term rewriting systems -- A two steps semantics for logic programs with negation -- Generalized negation as failure and semantics of normal disjunctive logic programs -- General model theoretic semantics for Higher-Order horn logic programming -- Disjunctive deductive databases -- Netlog — A concept oriented logic programming language -- From the past to the future: Executing temporal logic programs -- Computing induction axioms -- Consistency of equational enrichments -- A programming logic for a verified structured assembly language -- The unification of infinite sets of terms and its applications -- Unification in order-sorted type theory -- Infinite, canonical string rewriting systems generated by completion -- Spes: A system for logic program transformation -- Linear Objects: A logic framework for open system programming -- ISAR: An interactive system for algebraic implementation proofs -- Mathpert: Computer support for learning algebra, trig, and calculus -- MegaLog — A platform for developing knowledge base management systems -- SPIKE, an automatic theorem prover -- An application to teaching in logic course of ATP based on natural deduction -- A generic logic environment -- ElipSys A parallel programming system based on logic -- Opium — A high-level debugging environment -- An inductive theorem prover based on narrowing -- A cooperative answering system -- MIZ-PR: A theorem prover for polymorphic and recursive functions -- ProPre A programming language with proofs -- FRIENDLY-WAM: An interactive tool to understand the compilation of PROLOG -- SEPIA — a Basis for Prolog extensions -- The external database in SICStus Prolog -- The KCM system: Speeding-up logic programming through hardware support -- Logician's Workbench -- EUODHILOS: A general reasoning system for a variety of logics -- The EKS-V1 system -- CHIP and Propia.This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.Lecture Notes in Artificial Intelligence ;624Artificial intelligenceMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial intelligence.Mathematical logic.Artificial Intelligence.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.006.3Voronkov Andreiedthttp://id.loc.gov/vocabulary/relators/edtLPAR (Conference)BOOK996465478703316Logic Programming and Automated Reasoning2830654UNISA01311nam a2200289 i 4500991003678149707536 9788861944091b14370335-39ule_instDip.to di Storia, Società e Studi sull'Uomoita306Imbriani, Eugenio164326A come antropologia /Eugenio ImbrianiBari :Progedit,c2019VI, 125 p. ;21 cmNuvoleAntropologia culturale.b1437033502-03-2016-07-19991003678149707536LE023 306 IMB 1 312023000176214le023pE12.00-no 01010.i1589758816-07-19LE023 306 IMB 1 3/112023000176221le023pE12.00-l- 04040.i1589759x16-07-19LE023 306 IMB 1 3/212023000176238le023pE12.00-l- 03030.i1589760616-07-19LE023 306 IMB 1 3/312023000176245le023pE12.00-l- 00000.i1589761816-07-19LE023 306 IMB 1 3/412023000176252le023pE12.00-l- 00000.i1589762x16-07-19A come antropologia1750241UNISALENTOle02316-07-19ma -itait 0000829nam a22002291i 450099100368720970753620040527082237.0040802s1920 it |||||||||||||||||ita b13111930-39ule_instARCHE-106454ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.853De Roberto, Federico152225La cocotte /Federico De RobertoMilano :Vitagliano,c1920228 p. ;18 cm.b1311193002-04-1405-08-04991003687209707536LE002 Fondo Giudici E 103012002000227881le002C. 1-E0.00-no 00000.i1374666205-08-04"cocotte"200111UNISALENTOle00205-08-04ma -itait 31