LEADER 00961nam0-22002771i-450- 001 990004479310403321 005 19990530 035 $a000447931 035 $aFED01000447931 035 $a(Aleph)000447931FED01 035 $a000447931 100 $a19990530d1904----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aSette, cospirazioni e cospiratori nello Stato Pontificio$eAll'indomani della restaurazione$a<>occupazione napoletana, la restaurazione e le sette$fDomenico Spadoni 210 $aRoma$cCasa Editrice Nazionale$d1904 215 $aCXLV, 191 p.$d19 cm 700 1$aSpadoni,$bDomenico$0178863 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004479310403321 952 $a4/VII 32$bbibl.13361$fFLFBC 959 $aFLFBC 996 $aOccupazione napoletana, la restaurazione e le sette$9545967 996 $aSette, cospirazioni e cospiratori nello Stato Pontificio$9545966 997 $aUNINA LEADER 00793nam0-22002651i-450- 001 990004838280403321 005 19990530 035 $a000483828 035 $aFED01000483828 035 $a(Aleph)000483828FED01 035 $a000483828 100 $a19990530g19539999km-y0itay50------ba 101 0 $aita 105 $aaf------00--- 200 1 $a<>Joropo$eBaile Nacional de Venezuela$fLuis Felipe Ramon y Rivera 210 $aCaracas [etc.]$cMinisterio de Educacion$d1953. 215 $a92 p, [16] c. di tav.$cill., carte musicali$d23 cm 700 1$aRamon Y Rivera,$bLuis felipe$0193509 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004838280403321 952 $aSP. III 230$bFil. Mod. 2923$fFLFBC 959 $aFLFBC 996 $aJoropo$9517198 997 $aUNINA LEADER 01848nam0M2200529--I450- 001 990000869320203316 005 20090304155731.0 010 $a88-238-0704-2 035 $a0086932 035 $aUSA010086932 035 $a(ALEPH)000086932USA01 035 $a0086932 100 $a20020114d2001----||itac0103 ba 101 $aita 102 $aIT 200 1 $aTrattato sui contratti derivati di credito$easpetti finanziari, logiche di applicazione, profili giuridici e regolamentari$fFrancesco Caputo Nassetti, Andrea Fabbri$gpresentazione del premio Nobel per l'economia Myron Scholes e di Alberto Giovannini 205 $a2. ed 210 $aMilano$cEGEA$d2001 215 $a912 p.$d24 cm. 225 0 $aMercati e intermediari finanziari 300 $aSegue: Appendice normativa. 410 0$12001$aMercati e intermediari finanziari 606 $aContratti a tempo determinato* 606 $aContratti a premio 606 $aInvestimenti$xRischi$xAspetti giuridici 676 $a332.645 700 1$aCAPUTO NASSETTI,$bFrancesco$0119079 701 1$aFABBRI,$bAndrea$081757 801 0$aIT$bICCU$c20011218 912 $a990000869320203316 951 $a332.645 CAP 2 (IEP VII 168 A)$b32348 G.$cIEP VII$d00080155 951 $a300 332.645 CAP$b10146 DISES 959 $aBK 969 $aECO 969 $aDISES 979 $aALESSANDRA$b90$c20020114$lUSA01$h0908 979 $aALESSANDRA$b90$c20020114$lUSA01$h0911 979 $c20020403$lUSA01$h1731 979 $aPATRY$b90$c20040406$lUSA01$h1700 979 $aCHIARA$b90$c20080506$lUSA01$h1201 979 $aRSIAV4$b90$c20090304$lUSA01$h1557 979 $c20121027$lUSA01$h1546 979 $c20121027$lUSA01$h1601 979 $c20121027$lUSA01$h1610 996 $aTrattato sui contratti derivati di credito$9662655 997 $aUNISA DEB $aUSA10859 LEADER 01247nam--2200349---450- 001 990000817020203316 010 $a88-14-01518-X 035 $a0081702 035 $aUSA010081702 035 $a(ALEPH)000081702USA01 035 $a0081702 100 $a20011220d1988----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> fecondazione artificiale$equestioni morali nell'esperienza giuridica$fMaurizio Mori 210 $aMilano$cA. Giuffrč,$d1988 215 $aXV, 341 p$d26 cm 225 2 $aStudi di filosofia del diritto$fUniversitą di Milano, Facoltą di giurisprudenza, Istituto di filosofia e sociologia del diritto$v14 410 $12001$aStudi di filosofia del diritto$fUniversitą di Milano, Facoltą di giurisprudenza, Istituto di filosofia e sociologia del diritto$v14 676 $a176 700 1$aMORI,$bMaurizio$f<1951- >$0141309 801 0$aIT$bsalbc$gISBD 912 $a990000817020203316 951 $aX 11 XXII 14 BIS$b4609 G$cX 11 XXII 959 $aBK 969 $aGIU 979 $aPATTY$b90$c20011220$lUSA01$h1330 979 $c20020403$lUSA01$h1728 979 $aPATRY$b90$c20040406$lUSA01$h1656 996 $aFecondazione artificiale$962422 997 $aUNISA LEADER 02352nam 2200433 n 450 001 996397297503316 005 20200818213023.0 035 $a(CKB)4940000000065078 035 $a(EEBO)2264216118 035 $a(UnM)99829823e 035 $a(UnM)99829823 035 $a(EXLCZ)994940000000065078 100 $a19950628d1642 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 10$aEpistolarum D. Erasmi Roterodami libri XXXI. et P. Melancthonis libri IV$b[electronic resource] $eQuibus adjiciuntur Th. Mori & Lud. Vivis epistolę. Una? cum indicibus locupletissimis 210 $aLondini $cexcudebant M. Flesher & R. Young$dM.DC.XLII. Sumptibus Adriani Vlacq. [1642] 215 $a[36], 2146 [i.e. 1073], [42], 472 [i.e. 236], [7], 487-968 [i.e. 484], 116 [i.e. 88], [10] p. $cill., port. (metalcut) 300 $aTitle page printed in red and black. 300 $aWith preliminary half title reading: Epistolae D. Erasmi Roterodami, P. Melancthonis, Thomę Mori et Ludovici Vivis. 300 $aFrontis. = ill. = port. 300 $aIn double columns, with each column numbered consecutively. 300 $a"Epistolarum Philippi Melancthonis, libri IV" has separate dated title page, half title, register and pagination. 300 $aIncludes indices. 300 $aIdentified as Wing (2nd ed.) E3201A on UMI microfilm "Early English books, 1641-1700" reel 2027, and as Wing (2nd ed.) M1635A on reel 2128. 300 $aBodleian Library copy imperfect; lacking works by Melanchthon and Vives. 300 $aReproductions of the originals in the Bodleian Library ("Early English books, 1641-1700" reel 2027; identified as Wing (2nd ed.) E3201A), and the Cambridge University Library (reel 2128; identified as Wing (2nd ed.) M1635A). 330 $aeebo-0021 517 2 $aEpistolae D. Erasmi Roterodami, P. Melancthonis, Thomę Mori et Ludovici Vivis. 517 2 $aEpistolarum Philippi Melancthonis, libri IV. 700 $aErasmus$b Desiderius$fd. 1536.$0799747 702 $aMelancthon$b Philipp$f1497-1560.$4aut 702 $aMore$b Thomas$cSir, Saint,$f1478-1535.$4aut 702 $aVives$b Juan Luis$f1492-1540.$4aut 801 0$bCu-RivES 906 $aBOOK 912 $a996397297503316 996 $aEpistolarum D. Erasmi Roterodami libri XXXI. et P. Melancthonis libri IV$92401384 997 $aUNISA LEADER 06323nam 22007095 450 001 996465562703316 005 20200706153545.0 010 $a3-540-30210-7 024 7 $a10.1007/b100361 035 $a(CKB)1000000000212542 035 $a(DE-He213)978-3-540-30210-0 035 $a(SSID)ssj0000106115 035 $a(PQKBManifestationID)11127393 035 $a(PQKBTitleCode)TC0000106115 035 $a(PQKBWorkID)10108025 035 $a(PQKB)10566951 035 $a(MiAaPQ)EBC3088584 035 $a(PPN)155171569 035 $a(EXLCZ)991000000000212542 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArtificial Intelligence and Symbolic Computation$b[electronic resource] $e7th International Conference, AISC 2004 Linz, Austria, September 22?24, 2004 Proceedings /$fedited by Bruno Buchberger, John A. Campbell 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 294 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3249 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23212-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Presentations -- The Algorithmization of Physics: Math Between Science and Engineering -- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search -- Proof Search in Minimal Logic -- Planning and Patching Proof -- Papers -- A Paraconsistent Higher Order Logic -- Abstraction Within Partial Deduction for Linear Logic -- A Decision Procedure for Equality Logic with Uninterpreted Functions -- Generic Hermitian Quantifier Elimination -- Extending Finite Model Searching with Congruence Closure Computation -- On the Combination of Congruence Closure and Completion -- Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques -- Proving and Constraint Solving in Computational Origami -- An Evolutionary Local Search Method for Incremental Satisfiability -- Solving Equations Involving Sequence Variables and Sequence Functions -- Verified Computer Algebra in Acl2 -- Polynomial Interpretations with Negative Coefficients -- New Developments in Symmetry Breaking in Search Using Computational Group Theory -- Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks -- Four Approaches to Automated Reasoning with Differential Algebraic Structures -- Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy -- An Expert System on Detection, Evaluation and Treatment of Hypertension -- Short Presentations -- Two Revision Methods Based on Constraints: Application to a Flooding Problem -- Abstraction-Driven Verification of Array Programs -- Singularities in Qualitative Reasoning -- From a Computer Algebra Library to a System with an Equational Prover. 330 $aAISC 2004, the 7th International Conference on Artificial Intelligence and Symbolic Computation, was the latest in the series of specialized biennial conferences founded in 1992 by Jacques Calmet of the Universitat Ø Karlsruhe and John Campbell of University College London with the initial title Artificial Intelligence and Symbolic Mathematical Computing (AISMC).The M disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 proceedings said, the organizers of the current meeting decided to drop the adjective ?mathematical? and to emphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended profile of the series, and will figure in the call for papers for AISC 2006,which is intended to take place in China. The distribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an effect that emerged because we were concerned to select the best relevant papers that were offered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchers over the entire spectrum of AISC, as expressed by the 1998 quotation above,to be in touch with us about their interests and the possibility of eventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the field of AISC. Additionally, there are two reasons for optimism about the continuation of this situation. 410 0$aLecture Notes in Artificial Intelligence ;$v3249 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aNumerical analysis 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aNumerical analysis. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aNumeric Computing. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aBuchberger$b Bruno$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCampbell$b John A$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAISC 2004 906 $aBOOK 912 $a996465562703316 996 $aArtificial Intelligence and Symbolic Computation$9772740 997 $aUNISA LEADER 01663nam 2200481zu 450 001 9910375714703321 005 20210807005143.0 010 $a1-4503-1976-9 035 $a(CKB)3780000000085455 035 $a(SSID)ssj0001138569 035 $a(PQKBManifestationID)11610473 035 $a(PQKBTitleCode)TC0001138569 035 $a(PQKBWorkID)11132315 035 $a(PQKB)11552212 035 $a(WaSeSS)IndRDA00013642 035 $a(Association for Computing Machinery)10.1145/2494444 035 $a(EXLCZ)993780000000085455 100 $a20160829d2013 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProceedings of the International C* Conference on Computer Science and Software Engineering 210 31$a[Place of publication not identified]$cACM$d2013 215 $a1 online resource (155 pages) 225 1 $aACM Other conferences 300 $aBibliographic Level Mode of Issuance: Monograph 410 0$aACM Other conferences 517 1 $aC3S2E13 International C* Conference on Computer Science & Software Engineering, Porto, Portugal - July 10 - 12, 2013 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aDesai$b Bipin C$0875693 702 $aDesai$b Bipin C 702 $aAlmeida$b Ana Maria 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910375714703321 996 $aConference on Computer Science and Software Engineering$92177565 997 $aUNINA