Отображение 201 - 220 результаты of 677 для поиска 'mathematical logic and formal (languages OR language).', время запроса: 0.18сек. Отмена результатов
  1. 201
    Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Homotopy Type Theory -- The Relevance of Relevance to Relevance Logic -- Logic-Automata Connections...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 202
    Natural Language Processing and Information Systems (vol. # 3513) 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
    по Métais, Elisabeth
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 203
    Natural Language Processing and Information Systems (vol. # 3999) 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedi
    по Kop, Christian
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 204
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    по Puebla, Germán
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 205
    Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 206
    Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 207
    Mathematical Linguistics
    по Kornai, András
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 208
    Discrete Mathematics Using a Computer
    по O'Donnell, John
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 209
    Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... -- A Two-Tiered Formalization of Social Influence -- A Unified Epistemic Analysis of Iterated...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 210
    Programming Logics Essays in Memory of Harald Ganzinger /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Harald Ganzinger's Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 211
    Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 212
    Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 213
    Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Lexical semantics -- Lexical resources -- Lexicology -- Natural language processing...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 214
    Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 215
    Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
    по Vieira, Renata
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 216
    Chinese Spoken Language, Processing 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings
    по Huo, Qiang
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 217
    Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Pseudogapping as Pseudo-VP Ellipsis -- Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 218
    Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings /
    по Prade, Henri
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 219
    Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
    по Kern-Isberner, Gabriele
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 220
    Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток