LEADER 04104nam  22007575  450 
001 996465434903316
005 20200705232750.0
010   $a3-642-20895-9
024 7 $a10.1007/978-3-642-20895-9
035   $a(CKB)2670000000082483
035   $a(SSID)ssj0000538665
035   $a(PQKBManifestationID)11324411
035   $a(PQKBTitleCode)TC0000538665
035   $a(PQKBWorkID)10559042
035   $a(PQKB)11536275
035   $a(DE-He213)978-3-642-20895-9
035   $a(MiAaPQ)EBC3066684
035   $a(PPN)153868910
035   $a(EXLCZ)992670000000082483
100   $a20110425d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic Programming and Nonmonotonic Reasoning$b[electronic resource] $e11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /$fedited by James Delgrande, Wolfgang Faber
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 406 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6645
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-20894-0 
320   $aIncludes bibliographical references and index.
330   $aThis volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. The 16 revised full papers (13 technical papers, 1 application description, and 2 system descriptions) and 26 short papers (16 technical papers, 3 application description, and 7 system descriptions) which were carefully reviewed and selected from numerous submissions, are presented together with 3 invited talks. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.
410  0$aLecture Notes in Artificial Intelligence ;$v6645
606   $aArtificial intelligence
606   $aComputer science?Mathematics
606   $aComputer logic
606   $aMathematical logic
606   $aSoftware engineering
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArtificial intelligence.
615  0$aComputer science?Mathematics.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aSoftware engineering.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
676   $a006.3
702   $aDelgrande$b James$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFaber$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465434903316
996   $aLogic Programming and Nonmonotonic Reasoning$9772042
997   $aUNISA

LEADER 01170nam0 22002891i 450 
001 VAN0049265
005 20180724094037.45
010   $a88-435-7677-1
100   $a20060807d2001       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aAntonio Monestiroli$eopere, progetti, studi di architettura$fa cura di Massimo Ferrari
205   $aMilano : Electa$b2001
210   $d234 p. : ill. ; 28 cm + 1 fasc. (XV p.)
215   $aTit. del fasc.: The roof and the enclosure.
410  1$1001VAN0017112$12001 $aDocumenti di architettura$1210  $aMilano$cElecta.$v134
620   $dMilano$3VANL000284
700  1$aMonestiroli$bAntonio$3VANV024121$010402
702  1$aFerrari$bMassimo$3VANV038954
712   $aElecta$3VANV113606$4650
801   $aIT$bSOL$c20221125$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI  ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01
912   $aVAN0049265
950   $aBIBLIOTECA DEL DIPARTIMENTO DI  ARCHITETTURA E DISEGNO INDUSTRIALE$d01PREST     IBb183(56)                          $e01   47912             20061011            
996   $aAntonio Monestiroli$9735264
997   $aUNISOB