LEADER 04710nam 22006975 450 001 996465599403316 005 20230329164759.0 010 $a3-642-36976-6 024 7 $a10.1007/978-3-642-36976-6 035 $a(CKB)3280000000007565 035 $a(DE-He213)978-3-642-36976-6 035 $a(SSID)ssj0000880032 035 $a(PQKBManifestationID)11569892 035 $a(PQKBTitleCode)TC0000880032 035 $a(PQKBWorkID)10853711 035 $a(PQKB)10972759 035 $a(MiAaPQ)EBC3093350 035 $a(PPN)169139832 035 $a(EXLCZ)993280000000007565 100 $a20130305d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic, Language, and Computation$b[electronic resource] $e9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /$fedited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 277 p. 56 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7758 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-36975-8 327 $aPart 1: Summaries of Tutorials. -Computational Social Choice (with a Special Emphasis on the Use of Logic) -- Binding ? Data, Theory, Typology -- Lukasiewicz Logic: An Introduction -- Part 2: Contributions in Language The Information Structure and Typological Peculiarities of the Georgian Passive Constructions -- Discourse Structuring Questions and Scalar Implicatures -- Towards a Logic of Information Exchange: An Inquisitive Witness Semantics -- Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs -- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification -- An Outline of a Dynamic Theory of Frames -- What Does It Mean for an Indefinite to Be Presuppositional? -- Part 3: Contributions in Logic and Computation Dynamics of Defeasible and Tentative Inference -- Decidability for Justification Logics Revisited -- Interpreted Systems Semantics for Process Algebra with Identity Annotations -- The Duality of State and Observation in Probabilistic Transition Systems -- Model Checking for Modal Intuitionistic Dependence Logic -- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. 330 $aThis book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7758 606 $aImage processing?Digital techniques 606 $aComputer vision 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 615 0$aImage processing?Digital techniques. 615 0$aComputer vision. 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 14$aComputer Imaging, Vision, Pattern Recognition and Graphics. 615 24$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 676 $a004.015113 702 $aBezhanishvili$b Guram$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLöbner$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMarra$b Vincenzo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRichter$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465599403316 996 $aLogic, Language, and Computation$9772541 997 $aUNISA LEADER 01004nam0 22002651i 450 001 UON00245234 005 20231205103607.792 100 $a20031030d1974 |0itac50 ba 101 $acze 102 $aCZ 105 $a|||| ||||| 200 1 $aZíznivy milenec$eTémer román jednoho zivota$fAndrej Plavka$gprelozil Zbynek Polívka 210 $aPraha$cCeskoslovensky spisovatel$d1974 215 $a435 p.$ctav.$d20 cm. 620 $aCZ$dPraha$3UONL003201 676 $a891.86$cLetteratura ceca$v21 700 1$aPLAVKA$bAndrej$3UONV144529$0688422 702 1$aPOLIVKA$bZbynek$3UONV144530 712 $a?eskoslovenský spisovatel$3UONV254724$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00245234 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI CECO A PLA 0001 $eSI EO 12470 7 0001 996 $aZíznivy milenec$91236095 997 $aUNIOR