Showing 141 - 160 results of 654 for search '"mathematical logic and formal language."', query time: 0.07s Refine Results
  1. 141
    Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 142
    Semantics of Probabilistic Processes An Operational Approach /
    by Deng, Yuxin
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 143
    Linguistic Expressions and Semantic Processing A Practical Approach /
    by Butler, Alastair
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 144
    Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 145
    David Makinson on Classical Methods for Non-Classical Problems
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 146
    Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 147
    Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 148
    Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 149
    Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
    by Carnielli, Walter
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 150
    One Hundred Prisoners and a Light Bulb
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 151
    Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 152
    Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    by Bodik, Rastislav
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 153
    Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    by Nieuwenhuis, Robert
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 154
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Furbach, Ulrich
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 155
    Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
    by Mycroft, Alan
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 156
    Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    by Hill, Patricia M.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 157
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 158
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    by Nielson, Hanne Riis
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 159
    Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
    by Bozapalidis, Symeon
    Published in Springer eBooks (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 160
    25 Years of Model Checking History, Achievements, Perspectives /
    by Grumberg, Orna
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed