LEADER 04533nam 22007335 450 001 996466264503316 005 20200702024425.0 010 $a3-642-01748-7 024 7 $a10.1007/978-3-642-01748-3 035 $a(CKB)1000000000746051 035 $a(SSID)ssj0000318615 035 $a(PQKBManifestationID)11265204 035 $a(PQKBTitleCode)TC0000318615 035 $a(PQKBWorkID)10310621 035 $a(PQKB)10736477 035 $a(DE-He213)978-3-642-01748-3 035 $a(MiAaPQ)EBC3064232 035 $a(PPN)13630107X 035 $a(EXLCZ)991000000000746051 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLanguages: From Formal to Natural$b[electronic resource] $eEssays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /$fedited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 245 p.) 225 1 $aProgramming and Software Engineering ;$v5533 300 $aFestschrift. 300 $aInternational conference proceedings. 311 $a3-642-01747-9 320 $aIncludes bibliographical references and index. 327 $aLanguages: From Formal to Natural -- Modular Verification of Recursive Programs -- Semi-formal Evaluation of Conversational Characters -- Scope Dominance with Generalized Quantifiers -- Nonassociative Lambek Calculus with Additives and Context-Free Languages -- On Lazy Commutation -- Aspect Oriented Approach for Capturing and Verifying Distributed Properties -- No i-Sums for Nissim (and Shalom) -- The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata -- Modular Verification of Strongly Invasive Aspects -- Classes of Service under Perfect Competition and Technological Change -- On the Ontological Nature of Syntactic Categories in Categorial Grammar -- Masking Gateway for Enterprises -- No Syllogisms for the Numerical Syllogistic -- Formal Grammars of Early Language -- Hybrid BDD and All-SAT Method for Model Checking. 330 $aThis Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel. The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research. 410 0$aProgramming and Software Engineering ;$v5533 606 $aMathematical logic 606 $aComputer logic 606 $aComputers 606 $aArithmetic and logic units, Computer 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArithmetic and Logic Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I12026 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aComputers. 615 0$aArithmetic and logic units, Computer. 615 14$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 615 24$aLogics and Meanings of Programs. 615 24$aTheory of Computation. 615 24$aArithmetic and Logic Structures. 676 $a005.131 702 $aGrumberg$b Orna$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKaminski$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKatz$b Shmuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWintner$b Shuly$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466264503316 996 $aLanguages: From Formal to Natural$9774172 997 $aUNISA LEADER 02467nam 2200517 450 001 9910822877803321 005 20230926174331.0 010 $a1-61147-702-6 035 $a(CKB)3710000000514760 035 $a(EBL)4097305 035 $a(OCoLC)932332322 035 $a(SSID)ssj0001582188 035 $a(PQKBManifestationID)16258249 035 $a(PQKBTitleCode)TC0001582188 035 $a(PQKBWorkID)12370464 035 $a(PQKB)11488350 035 $a(MiAaPQ)EBC4097305 035 $a(EXLCZ)993710000000514760 100 $a20151211h20162016 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe annotated works of Henry George$hVolume I$iOur land and land policy and other works /$fedited by Francis K. Peddle and William S. Peirce 210 1$aMadison, [New Jersey] ;$aTeaneck, [New Jersey] :$cFairleigh Dickinson University Press,$d2016. 210 4$dİ2016 215 $a1 online resource (350 p.) 225 1 $aThe Annotated Works of Henry George ;$vv.1 300 $aIncludes index. 311 $a1-61147-701-8 327 $aContents; Preface; Introduction; Henry George; A Commentary on Our Land and Land Policy: Yesterday and Today; Our Land and Land Policy; Henry George and the Irish Land War; The Irish Land Question; Property in Land; The Prophet of San Francisco; The 'Reduction to Iniquity'; Index; About the Contributors 330 $aVolume 1 of The Annotated Works of Henry George includes an introduction to the six-volume series that focuses on the social context for George's political economy, as well as the public and private struggles that George faced. Tension between the dream of economic justice and different techniques to realize it proved a continuing challenge for the Georgist movement after its heady early years. Volume 1 presents three major works by George and new essays to provide context. George wrote Our Land and Land Policy (1871) while still a journalist in California. Fred Foldvary shows that George, eve 410 4$aThe Annotated Works of Henry George 606 $aEconomics 615 0$aEconomics. 676 $a330 702 $aPeddle$b Francis K$g(Francis Kenneth),$f1955- 702 $aPeirce$b William S. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910822877803321 996 $aThe annotated works of Henry George$93948884 997 $aUNINA