LEADER 00927nam0-2200277 --450 001 9910209757603321 005 20170704151949.0 100 $a20170704d1968----kmuy0itay5050 ba 101 0 $aeng 102 $aGB 105 $a 001yy 200 1 $aPhoenix II$euncollected, unpublished and other prose works$fby D. H. Lawrence$gcollected and edited with an introduction and notes by Warren Roberts and Harry T. Moore 210 $aLondon$cHeinemann$d1968 215 $aXV, 640 p.$d23 cm. 225 1 $a<>Phoenix edition of D. H. Lawrence 676 $a828.9$v20$zita 700 1$aLawrence,$bD. H.$g$060980 702 1$aMoore,$bHarry Thornton 702 1$aRoberts,$bWarren 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 0$aBK 912 $a9910209757603321 952 0$a823.912 LAWR 3(2)$bBibl.2017/142$fFLFBC 959 0$aFLFBC 996 $aPhoenix II$91467421 997 $aUNINA LEADER 02867nam 22007215 450 001 996465696803316 005 20230330060107.0 010 $a3-319-94821-0 024 7 $a10.1007/978-3-319-94821-8 035 $a(CKB)3850000000034637 035 $a(DE-He213)978-3-319-94821-8 035 $a(MiAaPQ)EBC6286358 035 $a(PPN)229502407 035 $a(EXLCZ)993850000000034637 100 $a20180703d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInteractive Theorem Proving$b[electronic resource] $e9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /$fedited by Jeremy Avigad, Assia Mahboubi 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVII, 642 p. 103 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10895 311 $a3-319-94820-2 320 $aIncludes bibliographical references and index. 330 $aChapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10895 606 $aMachine theory 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aElectronic digital computers?Evaluation 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSystem Performance and Evaluation 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aElectronic digital computers?Evaluation. 615 14$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSystem Performance and Evaluation. 676 $a004.015113 702 $aAvigad$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMahboubi$b Assia$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465696803316 996 $aInteractive Theorem Proving$92010767 997 $aUNISA LEADER 01270nam0 22002891i 450 001 UON00072858 005 20231205102357.652 100 $a20020107d1967 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aˆA ‰study of the Kanuri language$eGrammar and vocabulary$fby Johannes Lukas 210 $aLondon$cInternational African institute$d1967 215 $aXVII, 253 p.$d19 cm. 316 $adata inesatta$5IT-UONSI AOCLINGNS-K b/003* 606 $aLINGUA KANURI$xDizionari$3UONC018282$2FI 606 $aLINGUA KANURI$xGrammatica$3UONC018296$2FI 620 $aGB$dLondon$3UONL003044 676 $a496.5$cLingua Kanuri / Lingue Nilo-Saharan$v21 700 1$aLUKAS$bJohannes$3UONV042103$0658839 712 $aInternational African Institute$3UONV256753$4650 801 $aIT$bSOL$c20250620$gRICA 912 $aUON00072858 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI LING NS-K b 003* $eSI MR 61764 7 003* data inesatta 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI B A 0014 $eSI ET 34 5 0014 996 $aStudy of the Kanuri language$91159808 997 $aUNIOR