Search alternatives:
languages » language (Expand Search)
Showing 21 - 40 results of 654 for search '"Mathematical Logic and Formal Languages."', query time: 0.07s Refine Results
  1. 21
    Finite Model Theory
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 22
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    by Czelakowski, Janusz
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 23
    Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 24
    Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
    by Baral, Chitta
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 25
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 26
    Computational Logic in Multi-Agent Systems (vol. # 3487) 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
    by Leite, João
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 27
    Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /
    by Inoue, Katsumi
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 28
    Computational Logic in Multi-Agent Systems (vol. # 3900) 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
    by Toni, Francesca
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 29
    Advances in Learning Classifier Systems 4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7-8, 2001 Revised Papers /
    by Lanzi, Pier Luca
    Published 2006
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 30
    AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings /
    by Basili, Roberto
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 31
    Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
    by Banâtre, Jean-Pierre
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 32
    Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers.
    by Borrajo, Daniel
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 33
    Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 34
    Leo Esakia on Duality in Modal and Intuitionistic Logics
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 35
    Concrete Semantics With Isabelle/HOL /
    by Nipkow, Tobias, Klein, Gerwin
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 36
    Contributions to the Science of Text and Language Word Length Studies and Related Issues /
    by Grzybek, Peter
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 37
    A Theory of Distributed Objects Asynchrony вЂ" Mobility вЂ" Groups вЂ" Components /
    by Caromel, Denis
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 38
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    by Henson, Martin
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 39
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    by Julliand, Jacques
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 40
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
    by Krishnamurthi, Shriram
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed