Отображение 441 - 460 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.15сек. Отмена результатов
  1. 441
    Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic -- Computational Complexity...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 442
    Computational Linguistics and Intelligent Text Processing (vol. # 3406) 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 443
    Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 444
    The Calculus of Computation Decision Procedures with Applications to Verification /
    по Bradley, Aaron R.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 445
    Cyberpatterns Unifying Design Patterns with Security and Attack Patterns /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... for Security Patterns -- Design Patterns: Applications and Open Issues -- Challenges For A Formal Framework...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 446
    Recent Advances in Constraints (vol. # 3419) Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
    по Fages, François
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 447
    Recent Advances in Constraints (vol. # 3978) Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite
    по Hnich, Brahim
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 448
    Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... to logics of programs -- Modal and dynamic logics -- Interval and temporal logics....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 449
    Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 450
    Theory and Applications of Satisfiability Testing (vol. # 3569) 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    по Bacchus, Fahiem
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 451
    Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    по Marques-Silva, Joao
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 452
    Theory and Applications of Satisfiability Testing (vol. # 3542) 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    по Hoos, Holger H.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 453
    Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    по Biere, Armin
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 454
    Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
    по Kleine Büning, Hans
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 455
    Philosophy of Logic and Mathematics Proceedings of the 41st International Ludwig Wittgenstein Symposium
    Публикация 2019
    Оглавление: “...Surprises in logic: when dynamic formality meets interactive compositionality /...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 456
    Models of Strategic Reasoning Logics, Games, and Communities /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... strategies and rational play in dynamic games.- Finite reasoning procedures for dynamic games -- Formal...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 457
    AI 2015: Advances in Artificial Intelligence 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 458
    Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... -- Logic and Formal Approaches -- Tableaux and Complexity Bounds for a Multiagent Justification Logic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 459
    Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Randomized Search -- SMACK: Decoupling Source Language Details from Verifier Implementations -- Security...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 460
    Coordination of Large-Scale Multiagent Systems
    по Scerri, Paul
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток