Отображение 1 - 20 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.19сек. Отмена результатов
  1. 1
    Formal Languages and Compilation
    по Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Introduction -- Syntax -- Finite Automata as Regular Language Recognizers -- Pushdown Automata...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 2
    Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... -- Deontic conflicts and multiple violations -- Admissibility and unifiability in contact logics -- F-LTAG...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 3
    The Language of Mathematics A Linguistic and Philosophical Investigation /
    по Ganesalingam, Mohan
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Mathematics.-4.1.1 Ambiguity in Symbolic Material.-4.1.2 Survey: Ambiguity in Formal Languages.-4.1.3 Failure...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 4
    Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
    по Cate, Balder D.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Mathematical Logic Foundations for Information Science /
    по Li, Wei
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 6
    Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... of Logic) -- Binding - Data, Theory, Typology -- Lukasiewicz Logic: An Introduction -- Part 2...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 7
    Logics of Specification Languages
    по Bjørner, Dines
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 8
    Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Modeling Language Design for Complex Systems Simulation -- Formalization of Mathematics for Fun...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 9
    New Developments in Formal Languages and Applications
    по Bel-Enguix, Gemma
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 10
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... and Projection Temporal Logic to Reason About Non-blocking Concurrency -- Semantics and Analysis Formal Semantics...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 11
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 12
    Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
    по Leivant, Daniel
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 13
    Logicism, Intuitionism, and Formalism What has Become of Them? /
    по Hendricks, Vincent F.
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 14
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 15
    Games: Unifying Logic, Language, and Philosophy
    по Rahman, Shahid
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 16
    Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
    по Hodges, Wilfrid
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 17
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 18
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    по Jureta, Ivan
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... -- 12 Alternatives -- 13 Constraints -- 14 Preferences -- 15 Links to Formal Logic....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 19
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 20
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток