LEADER 00987nam0-22003011i-450- 001 990006227510403321 005 19980601 035 $a000622751 035 $aFED01000622751 035 $a(Aleph)000622751FED01 035 $a000622751 100 $a19980601d1955----km-y0itay50------ba 105 $a--------00-yy 200 1 $aStudien zum Investiturproblem in Frankreich$epapsttum Konigtum und Episkopat im Zeitalter der gregorianischen Kirchenreform (1049-1119)$fAlfons Becker. 210 $aSaarbrucken$cWest-Ost Verlag$d1955 215 $a262 p.$d24 cm 225 1 $a"Universitat des Saarlandes. Schriften"$v 314 $aSul frontespizio risulta anche il titolo in francese 676 $a322.1 700 1$aBecker,$bAlfons$0220653 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006227510403321 952 $aUNIV. 225$b55799$fFGBC 959 $aFGBC 996 $aStudien zum Investiturproblem in Frankreich$9637677 997 $aUNINA DB $aGIU01 LEADER 01018nam a2200241 i 4500 001 991001107149707536 008 050620s2004 it 000 0 ita d 020 $a8824315453 035 $ab13321481-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 0 $a327.41 100 1 $aGenta, Enrico$0252577 245 10$aPrincipi e regole internazionali tra forza e costume :$ble relazioni anglo-sabaude nella prima meta del settecento /$cEnrico Genta 260 $aNapoli :$bJovene,$c2004 300 $a219 p. ;$c24 cm 440 0$aMemorie del Dipartimento di scienze giuridiche / Universita di Torino.$nSerie 5,$pMemorie ;$v24 650 4$aRelazioni diplomatiche 907 $a.b13321481$b13-09-11$c20-06-05 912 $a991001107149707536 945 $aLE027 327.41 GEN01.01$g1$i2027000147618$lle027$o-$pE18.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i14093625$z20-06-05 996 $aPrincípi e regole internazionali tra forza e costume$9739229 997 $aUNISALENTO 998 $ale027$b20-06-05$cm$da $e-$fita$git $h0$i0 LEADER 04029nam 22007693 450 001 9910411652203321 005 20231110172225.0 010 $a9781000218725 010 $a1000218724 010 $a9780429094231 010 $a042909423X 010 $a9781439829622 010 $a1439829624 024 7 $a10.1201/b10397 035 $a(CKB)3400000000002115 035 $a(EBL)1633443 035 $a(SSID)ssj0000528276 035 $a(PQKBManifestationID)11343243 035 $a(PQKBTitleCode)TC0000528276 035 $a(PQKBWorkID)10545032 035 $a(PQKB)10787505 035 $a(MiAaPQ)EBC1633443 035 $a(OCoLC)814374374 035 $a(MiAaPQ)EBC7244832 035 $a(Au-PeEL)EBL7244832 035 $a(OCoLC)1202549001 035 $a(ScCtBLL)88841e6d-2b58-4e5e-b8ac-0772745c4426 035 $a(EXLCZ)993400000000002115 100 $a20231110d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aMathematical aspects of logic programming semantics /$fPascal Hitzler, Anthony Seda 205 $a1st ed. 210 1$aBoca Raton, FL :$cCRC Press,$d[2011] 210 4$d©2011 215 $a1 online resource (296 p.) 225 1 $aChapman & Hall/CRC studies in informatics series 300 $a"A Chapman & Hall book." 311 08$a9781466534162 311 08$a1466534168 311 08$a9781322615950 311 08$a1322615950 311 08$a9781439829615 311 08$a1439829616 320 $aIncludes bibliographical references and index. 327 $a1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts. 330 $aCovering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration--$cProvided by publisher. 410 0$aChapman & Hall/CRC studies in informatics series. 606 $aLogic programming 606 $aProgramming languages (Electronic computers)$xSemantics 615 0$aLogic programming. 615 0$aProgramming languages (Electronic computers)$xSemantics. 676 $a005.115 676 $a005.115 686 $aCOM031000$aCOM037000$aCOM051240$2bisacsh 700 $aHitzler$b Pascal$0619195 702 $aSeda$b Anthony 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910411652203321 996 $aMathematical aspects of logic programming semantics$92058907 997 $aUNINA