Отображение 521 - 540 результаты of 677 для поиска 'mathematical logic and formal (languages OR language).', время запроса: 0.31сек. Отмена результатов
  1. 521
    Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... of Collective Adaptive Systems -- The Scribble Protocol Language -- Dynamic Measurement and Protected Execution...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 522
    Reasoning Web. Reasoning on the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- An Introduction to Description Logics and Query -- An Introduction to Ontology-Based Query Answering...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 523
    Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 524
    MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 525
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 526
    Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Access Optimization for Data-Parallel Languages -- Approximation and Forgetting -- Roughening the EL...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 527
    Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
    по Csuhaj-Varjú, Erzsébet
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 528
    Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
    по Avron, Arnon
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 529
    Advances in Case-Based Reasoning 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4вЂ"7, 2002 Proceedings /
    по Craw, Susan
    Публикация 2006
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 530
    Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /
    по Gokhale, Maya
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 531
    Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics /
    по Majkić, Zoran
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 532
    Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin
    по MacCaull, Wendy
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 533
    Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 534
    Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “.../HOL -- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages -- A...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 535
    Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 536
    AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... representation and reasoning -- Machine learning -- Semantic web -- Natural language -- Scheduling, planning...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 537
    KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 538
    New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...LENLS 11 -- Logic and Engineering of Natural Language Semantics (LENLS) 11 -- Codability...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 539
    Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers /
    по Branco, António
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 540
    Computational Linguistics and Intelligent Text Processing (vol. # 3878) 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток