Отображение 41 - 60 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.12сек. Отмена результатов
  1. 41
    Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
    по Carnielli, Walter
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 42
    Formal Ontology and Conceptual Realism
    по Cocchiarella, Nino B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 43
    Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... -- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages -- Two Dimensional Prefix...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 44
    Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Finite Automata and Regular Languages On Automatic Transitive Graphs.-  Upper Bounds on Syntactic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 45
    Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr
    по Drossopoulou, Sophia
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 46
    Programming Sudoku
    по Lee, Wei-Meng
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 47
    Contributions to the Science of Text and Language Word Length Studies and Related Issues /
    по Grzybek, Peter
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 48
    Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 49
    Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 50
    Gentzen's Centenary The Quest for Consistency /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... Ferreira -- Climbing Mount ε_0, Herman Ruge Jervell -- Semi-Formal Calculi and Their Applications, Wolfram...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 51
    Leo Esakia on Duality in Modal and Intuitionistic Logics
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev -- Modal logic and the Vietoris functor...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 52
    Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 53
    Constraints Meet Concurrency
    по Mauro, Jacopo
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 54
    Developments in Language Theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
    по De Felice, Clelia
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 55
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 56
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 57
    Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 58
    Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001 Le Croisic, France, June 27-29, 2001 Proceedings /
    по Groote, Philippe
    Публикация 2006
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 59
    Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Multi-way Synchronisation and Interleaving in CSP -- From Extraction of Logical Specifications...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 60
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток