LEADER 00991nam0-2200301 --450 001 9910374158403321 005 20200224135652.0 010 $a978-88-6843-928-6 100 $a20200224d2019----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $aa 001yy 200 1 $a<>ora delle tenebre$ecarnets di guerra 1915-1918$fTommaso Gallarati Scotti$ga cura di Diego Leoni e Irene Tessaro 210 $aRoma$cDonzelli$d2019 215 $aV, 221 p., [8] carte di tav.$cill., 1 ritratto$d22 cm 225 1 $aSaggi. Storia e scienze sociali 610 0 $aEsercito italiano$aAlpini$aGuerra mondiale 1914-1918$aDiari e memorie 676 $a940.4145092$v21$zita 700 1$aGallarati Scotti,$bTommaso$0161523 702 1$aLeoni,$bDiego 702 1$aTessaro,$bIrene 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910374158403321 952 $aXIV B 2890$b154/2020$fFSPBC 959 $aFSPBC 996 $aOra delle tenebre$91668231 997 $aUNINA LEADER 04080nam 2200601 450 001 996465313103316 005 20220420204923.0 010 $a3-540-46063-2 024 7 $a10.1007/3-540-50667-5 035 $a(CKB)1000000000233345 035 $a(SSID)ssj0000321091 035 $a(PQKBManifestationID)11212652 035 $a(PQKBTitleCode)TC0000321091 035 $a(PQKBWorkID)10262688 035 $a(PQKB)10387574 035 $a(DE-He213)978-3-540-46063-3 035 $a(MiAaPQ)EBC5584960 035 $a(MiAaPQ)EBC6690100 035 $a(Au-PeEL)EBL5584960 035 $a(OCoLC)1066185610 035 $a(Au-PeEL)EBL6690100 035 $a(PPN)155197215 035 $a(EXLCZ)991000000000233345 100 $a20220420d1988 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aAlgebraic and logic programming $einternational workshop, Gaussing, GDR, November 14-18, 1988 : proceedings /$fJ. Grabowski, P. Lescanne, W. Wechler (editors) 205 $a1st ed. 1988. 210 1$aBerlin :$cSpringer-Verlag,$d[1988] 210 4$dİ1988 215 $a1 online resource (IX, 269 p.) 225 1 $aLecture notes in computer science ;$v343 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-50667-5 327 $aACP with signals -- Functional extensions to prolog: Are they needed? -- Narrowing and resolution in logic-functional programming languages -- Nondeterministic algebraic specifications and nonconfluent term rewriting -- OBJ: Programming with equalities, subsorts, overloading and parameterization -- Logic programming with polymorphically order-sorted types -- Integrating logic programming and equational specification of abstract data types -- Narrowing with built-in theories -- A completion procedure for hierarchical conditional rewriting systems -- An effective method for handling initial algebras -- Boolean valued models and incomplete specifications -- Types, modularisation and abstraction in logic programming -- Translating algebraic specifications to Prolog programs: A comparative study -- Rewrite rule systems for modal propositional logic -- A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata -- Functional data term models and semantic unification -- Modular algebraic specifications -- Proving inductive theorems based on term rewriting systems -- Jungle evaluation for efficient term rewriting -- A new quasi-reducibility testing algorithm and its application to proofs by induction -- Fuzzy reasoning based on f-horn clause rules -- Babel: A functional and logic programming language based on constructor discipline and narrowing -- Refined compilation of pattern-matching for functional languages -- Narrowing in partial conditional equational theories -- Solving equations in an equational language -- Nonstandard logics of recursive programs and denotational semantics. . 330 $aThis volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics. 410 0$aLecture notes in computer science ;$v343. 606 $aLogic programming$vCongresses 615 0$aLogic programming 676 $a005.115 702 $aGrabowski$b J$g(Jan), 702 $aLescanne$b Pierre 702 $aWechler$b Wolfgang 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465313103316 996 $aAlgebraic and logic programming$91492537 997 $aUNISA LEADER 01464nam 2200385 a 450 001 9910701868103321 005 20120530150125.0 035 $a(CKB)5470000002421425 035 $a(OCoLC)794513255 035 $a(EXLCZ)995470000002421425 100 $a20120530d2012 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aScientific cooperation$b[electronic resource] $emedicine and public health : protocol between the United States of America and China, signed at Beijing, December 4, 2008 210 1$a[Washington, D.C.] :$cU.S. Dept. of State,$d[2012?] 215 $a1 online resource (15 unnumbered pages) 225 1 $aTreaties and other international acts series ;$v08-1204 300 $aTitle from title screen (viewed on May 30, 2012). 517 $aScientific cooperation 606 $aMedicine, Preventive$xLaw and legislation$zUnited States 606 $aMedicine, Preventive$xLaw and legislation$zChina 606 $aPublic health$xInternational cooperation 615 0$aMedicine, Preventive$xLaw and legislation 615 0$aMedicine, Preventive$xLaw and legislation 615 0$aPublic health$xInternational cooperation. 712 02$aUnited States.$bDepartment of State. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910701868103321 996 $aScientific cooperation$93438017 997 $aUNINA LEADER 01827nam 2200613Ia 450 001 9910782370503321 005 20230721032938.0 010 $a0-7914-7773-8 010 $a1-4356-7510-X 035 $a(CKB)1000000000541979 035 $a(OCoLC)272404414 035 $a(CaPaEBR)ebrary10575817 035 $a(SSID)ssj0000163473 035 $a(PQKBManifestationID)11170110 035 $a(PQKBTitleCode)TC0000163473 035 $a(PQKBWorkID)10108508 035 $a(PQKB)10218106 035 $a(MiAaPQ)EBC3407391 035 $a(MdBmJHUP)muse13931 035 $a(Au-PeEL)EBL3407391 035 $a(CaPaEBR)ebr10575817 035 $a(OCoLC)923404647 035 $a(EXLCZ)991000000000541979 100 $a20071120d2008 ub 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGlobal neighborhoods$b[electronic resource] $eJewish quarters in Paris, London, and Berlin /$fMichel S. Laguerre 210 $aAlbany $cState University of New York Press$dc2008 215 $a1 online resource (301 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-7914-7551-4 320 $aIncludes bibliographical references (p. 247-258) and index. 606 $aJewish neighborhoods$zEurope 606 $aJews, European 606 $aJews$zEngland$zLondon 606 $aJews$zFrance$zParis 606 $aJews$zGermany$zBerlin 615 0$aJewish neighborhoods 615 0$aJews, European. 615 0$aJews 615 0$aJews 615 0$aJews 676 $a305.892/404091732 700 $aLaguerre$b Michel S$0888651 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782370503321 996 $aGlobal neighborhoods$93800523 997 $aUNINA LEADER 00967nam0 22002771i 450 001 UON00070101 005 20231205102347.335 010 $a27-07-11214-3 100 $a20020107d1981 |0itac50 ba 101 $afre 102 $aFR 105 $a|||| ||||| 200 1 $aPeuple juif ou probleme juif ?$fMaxime Rodinson 210 $aParis$cFrançois Maspero$d1981 215 $a360 p.$d18 cm 606 $aGIUDAISMO$xStudi$3UONC020099$2FI 620 $aFR$dParis$3UONL002984 676 $a296$cEbraismo$v21 700 1$aRODINSON$bMaxime$3UONV001152$0124371 712 $aMaspero$3UONV246822$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00070101 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI SEB Afr XIII 001 $eSI AA 10566 7 001 996 $aPeuple juif ou probleme juif$91161096 997 $aUNIOR