Отображение 161 - 180 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.96сек. Отмена результатов
  1. 161
    Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 162
    Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
    по Mazzola, Guerino
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 163
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Interval-Based Temporal Logic -- A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 164
    Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
    по Clerbout, Nicolas, Rahman, Shahid
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 165
    Handbook of Philosophical Logic
    по Gabbay, D. M.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 166
    Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
    по Banâtre, Jean-Pierre
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 167
    Computational Logic in Multi-Agent Systems (vol. # 3487) 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
    по Leite, João
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 168
    Computational Logic in Multi-Agent Systems (vol. # 3900) 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
    по Toni, Francesca
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 169
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    по Derrick, John, Boiten, Eerke A.
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 170
    Constructing Correct Software
    по Cooke, John
    Опубликовано в: Springer eBooks (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 171
    Reactive Kripke Semantics
    по Gabbay, Dov M.
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Chap.1 - A Theory of Hypermodal Logics -- Chap.2 - Introducing Reactive Kripke Semantics and Arc...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 172
    Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
    по Carnielli, Walter
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 173
    One Hundred Prisoners and a Light Bulb
    по van Ditmarsch, Hans, Kooi, Barteld
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... -- Overview Dynamic Epistemic Logic -- Answers....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 174
    Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 175
    Advances in Natural Language Processing 5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings
    по Salakoski, Tapio
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 176
    Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings /
    по Kapetanios, Epaminondas
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 177
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 178
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 179
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
    по Urzyczyn, Paweł
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 180
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток