Showing 1 - 20 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.14s Refine Results
  1. 1
    Formal Languages and Compilation
    Table of Contents: “...Introduction -- Syntax -- Finite Automata as Regular Language Recognizers -- Pushdown Automata...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2015)
    Table of Contents: “... -- Deontic conflicts and multiple violations -- Admissibility and unifiability in contact logics -- F-LTAG...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    The Language of Mathematics A Linguistic and Philosophical Investigation /
    by Ganesalingam, Mohan
    Published in Springer eBooks (2013)
    Table of Contents: “... Mathematics.-4.1.1 Ambiguity in Symbolic Material.-4.1.2 Survey: Ambiguity in Formal Languages.-4.1.3 Failure...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    by Cate, Balder D.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    Mathematical Logic Foundations for Information Science /
    by Li, Wei
    Published in Springer eBooks (2014)
    Table of Contents: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2013)
    Table of Contents: “... of Logic) -- Binding - Data, Theory, Typology -- Lukasiewicz Logic: An Introduction -- Part 2...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 7
    Logics of Specification Languages
    by Bjørner, Dines
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 8
    Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Modeling Language Design for Complex Systems Simulation -- Formalization of Mathematics for Fun...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 9
    New Developments in Formal Languages and Applications
    by Bel-Enguix, Gemma
    Published in Springer eBooks (2008)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 10
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “... and Projection Temporal Logic to Reason About Non-blocking Concurrency -- Semantics and Analysis Formal Semantics...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 11
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 12
    Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
    by Leivant, Daniel
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 13
    Logicism, Intuitionism, and Formalism What has Become of Them? /
    by Hendricks, Vincent F.
    Published in Springer eBooks (2009)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 14
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 15
    Games: Unifying Logic, Language, and Philosophy
    by Rahman, Shahid
    Published in Springer eBooks (2009)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 16
    Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
    by Hodges, Wilfrid
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2015)
    Table of Contents: “... and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 18
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    by Jureta, Ivan
    Published in Springer eBooks (2015)
    Table of Contents: “... -- 12 Alternatives -- 13 Constraints -- 14 Preferences -- 15 Links to Formal Logic....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 19
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 20
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed