LEADER 04311nam 22006735 450 001 996200018903316 005 20230222183921.0 010 $a3-662-46906-5 024 7 $a10.1007/978-3-662-46906-4 035 $a(CKB)3710000000416932 035 $a(SSID)ssj0001501582 035 $a(PQKBManifestationID)11799484 035 $a(PQKBTitleCode)TC0001501582 035 $a(PQKBWorkID)11457045 035 $a(PQKB)11305340 035 $a(DE-He213)978-3-662-46906-4 035 $a(MiAaPQ)EBC5594967 035 $a(PPN)186029551 035 $a(EXLCZ)993710000000416932 100 $a20150504d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, and Computation$b[electronic resource] $e10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /$fedited by Martin Aher, Daniel Hole, Emil Je?ábek, Clemens Kupke 205 $a1st ed. 2015. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015. 215 $a1 online resource (XIV, 333 p. 47 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8984 300 $aIncludes index. 311 $a3-662-46905-7 327 $aResearch on aspect: Reflections and new frontiers -- Tutorial on admissible rules in Gudauri -- Deontic conflicts and multiple violations -- Admissibility and unifiability in contact logics -- F-LTAG Semantics for issues around focusing -- The dialect dictionaries for representativeness and morphological annotation in Georgian dialect corpus -- Duality and universal models for the meet-implication fragment of IPC -- Cut-elimination and proof schemata -- Towards a suppositional in-quisitive semantics -- models built from models of arithmetic -- Positive formulas in intuitionistic and minimal logic -- Unless and until: A compositional analysis -- Frame theory, dependence logic and strategies -- Uniqueness and possession: Typological evidence for type shifts in nominal determination -- Alternative semantics for Visser's propositional logics -- Between-noun comparisons -- On the licensing of argument conditionals -- Biaspectual Verbs: A marginal category?. 330 $aThis book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language, and computation. The contributions represent these three fields, and the symposia aim to foster interaction between them.  The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8984 606 $aArtificial intelligence 606 $aMachine theory 606 $aNatural language processing (Computer science) 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aNatural Language Processing (NLP) 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aNatural language processing (Computer science). 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aNatural Language Processing (NLP). 676 $a005.1015113 702 $aAher$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHole$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJe?ábek$b Emil$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKupke$b Clemens$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996200018903316 996 $aLogic, Language, and Computation$9772541 997 $aUNISA LEADER 02025nam 22005293 450 001 9910156173303321 005 20230816170129.0 010 $a1-61519-109-7 035 $a(CKB)2520000000009311 035 $a(SSID)ssj0000486867 035 $a(PQKBManifestationID)12157583 035 $a(PQKBTitleCode)TC0000486867 035 $a(PQKBWorkID)10429928 035 $a(PQKB)11551393 035 $a(MiAaPQ)EBC3562740 035 $a(MiAaPQ)EBC4443982 035 $a(MiAaPQ)EBC7023310 035 $a(Au-PeEL)EBL7023310 035 $a(EXLCZ)992520000000009311 100 $a20230816d2009 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aQuick and easy vegan comfort food $eover 150 great-tasting, down-home recipes and 65 everyday meal ideas - for breakfast, lunch and dinner /$fAlicia C. Simpson 205 $aFirst edition. 210 1$aNew York, NY :$cThe Experiment, LLC,$d2009. 210 4$d©2009 215 $axii, 227 p., [8] p. of plates $ccol. ill 300 $aIncludes index. 311 $a1-61519-005-8 330 $aA born food-lover, raised in California on "the best Mexican food in the country"and her father¿s "traditional Southern soul food," Alicia C. Simpson couldn¿t imagine giving up her favorite dishes to become vegan. Animal-free food might be healthier, but could it match the tastes of home-like fried chicken, macaroni and cheese, or a bowl of chili? Three years after Alicia took the vegan plunge, Quick and Easy Vegan Comfort Food answers that question with a resounding "yes!". 517 3 $aVegan comfort food 606 $aVegan cooking 606 $aComfort food 615 0$aVegan cooking. 615 0$aComfort food. 676 $a641.5636 700 $aSimpson$b Alicia C.$01078051 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910156173303321 996 $aQuick and easy vegan comfort food$92589619 997 $aUNINA