LEADER 00862nam0-22003011i-450- 001 990005637810403321 005 20120322151257.0 035 $a000563781 035 $aFED01000563781 035 $a(Aleph)000563781FED01 035 $a000563781 100 $a19990604d1964----km-y0itay50------ba 101 0 $aita 105 $ayf------00--- 200 1 $aDal mondo romano al mondo cristiano$fPio Paschini 210 $aBologna$cCappelli$d1964 215 $a345 p., 103 tav.$d25 cm 225 1 $aRoma cristiana$v1 610 0 $aCristianesimo$aStoria 676 $a270.092$v21$zita 700 1$aPaschini,$bPio$f<1878-1962>$0322136 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005637810403321 952 $a270.09 PAS 1$bST.ARTE 7039$fFLFBC 959 $aFLFBC 996 $aDal mondo romano al mondo cristiano$9204904 997 $aUNINA LEADER 00945nam0 22002651i 450 001 SUN0032195 005 20050217120000.0 010 $a03-87943-36-6 010 $a35-409-4336-6 100 $a20050216d1995 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aPrinciples of vibration and sound$fThomas D. Rossing, Neville H. Fletcher 210 $aNew York$cSpringer$d1995 215 $aX, 247 p.$cill.$d25 cm. 620 $aUS$dNew York$3SUNL000011 700 1$aRossing$b, Thomas D.$3SUNV026774$061179 701 1$aFletcher$b, Neville H.$3SUNV026775$061180 712 $aSpringer$3SUNV000178$4650 801 $aIT$bSOL$c20200921$gRICA 912 $aSUN0032195 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIA$d05CONS A I 029 $e05 1364 20050216 996 $aPrinciples of vibration and sound$9375672 997 $aUNICAMPANIA LEADER 03430nam 22007215 450 001 9910337846503321 005 20251225193524.0 010 $a3-030-19570-8 024 7 $a10.1007/978-3-030-19570-0 035 $a(CKB)4100000008103813 035 $a(DE-He213)978-3-030-19570-0 035 $a(MiAaPQ)EBC5925949 035 $a(PPN)236522051 035 $a(EXLCZ)994100000008103813 100 $a20190506d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogics in Artificial Intelligence $e16th European Conference, JELIA 2019, Rende, Italy, May 7?11, 2019, Proceedings /$fedited by Francesco Calimeri, Nicola Leone, Marco Manna 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XV, 822 p. 1646 illus., 29 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11468 300 $aIncludes Index. 311 08$a3-030-19569-4 327 $aBelief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic. 330 $aThis book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11468 606 $aArtificial intelligence 606 $aComputer science 606 $aMachine theory 606 $aInformation technology$xManagement 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aComputer Application in Administrative Data Processing 606 $aCompilers and Interpreters 606 $aProgramming Techniques 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aInformation technology$xManagement. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Application in Administrative Data Processing. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 676 $a006.3 702 $aCalimeri$b Francesco & Leone, Nicola & Manna, Marco 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337846503321 996 $aLogics in Artificial Intelligence$9772596 997 $aUNINA