LEADER 01709nlm0 22004691i 450 
001 990009258330403321
010   $a9783540894391
035   $a000925833
035   $aFED01000925833
035   $a(Aleph)000925833FED01
035   $a000925833
100   $a20100926d2008----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aLogic for Programming, Artificial Intelligence, and Reasoning$bRisorsa elettronica$e15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings$fedited by Jaime G. Carbonell, Jörg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov
210   $aBerlin ; Heidelberg$cSpringer$d2008
225 1 $aLecture Notes in Computer Science$x0302-9743$v5330
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aCarbonell,$bJaime G.
702  1$aCervesato,$bIliano
702  1$aSiekmann,$bJörg
702  1$aVeith,$bHelmut
702  1$aVoronkov,$bAndrei
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-89439-1
901   $aEB
912   $a990009258330403321
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aLogic for Programming, Artificial Intelligence, and Reasoning$9772423
997   $aUNINA

LEADER 01640oam  2200433   450 
001 9910717162203321
005 20220211113204.0
035   $a(CKB)5470000002528593
035   $a(OCoLC)1296044371
035   $a(EXLCZ)995470000002528593
100   $a20220209d2022      ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFact sheet: automatic type and location identification system for commercial plug load management /$fBetter Buildings Alliance
210  1$a[Washington, D.C.] :$cBetter Buildings, U.S. Department of Energy, Better Buildings Alliance,$d2022.
215   $a1 online resource (2 unnumbered pages) $ccolor illustration
300   $a"Published January 2022."
517   $aFact sheet
606   $aBuildings$xEnergy consumption$zUnited States
606   $aBuildings$xEnergy conservation$zUnited States
606   $aRadio frequency identification systems$zUnited States
606   $aIntelligent buildings$zUnited States
606   $aElectric power transmission$zUnited States
615  0$aBuildings$xEnergy consumption
615  0$aBuildings$xEnergy conservation
615  0$aRadio frequency identification systems
615  0$aIntelligent buildings
615  0$aElectric power transmission
712 02$aBetter Buildings Alliance (U.S.),
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910717162203321
996   $aFact sheet: automatic type and location identification system for commercial plug load management$93261831
997   $aUNINA

LEADER 00713nam0-2200253 --450 
001 9910776271003321
005 20240130121848.0
100   $a20240130d1965----kmuy0itay5050    ba
101 0 $aeng
102   $aUS
105   $ay       001yy
200 1 $aMethods of serological research$fJ. B. Kwapinski
210   $aNew York$cWiley$d©1965
215   $aXIV, 526 p.$cill.$d24 cm.
610 0 $aMedicina interna
676   $a616.0795$v22$zita
700  1$aKwapinski,$bJerzy B. George$01585898
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910776271003321
952   $aA PAT 1083$b634/2024$fFAGBC
959   $aFAGBC
996   $aMethods of serological research$93871783
997   $aUNINA