Showing 201 - 220 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.13s Refine Results
  1. 201
    Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Homotopy Type Theory -- The Relevance of Relevance to Relevance Logic -- Logic-Automata Connections...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 202
    Natural Language Processing and Information Systems (vol. # 3513) 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
    by Métais, Elisabeth
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 203
    Natural Language Processing and Information Systems (vol. # 3999) 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedi
    by Kop, Christian
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 204
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    by Puebla, Germán
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 205
    Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 206
    Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 207
    Mathematical Linguistics
    by Kornai, András
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 208
    Discrete Mathematics Using a Computer
    by O'Donnell, John
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 209
    Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- A Two-Tiered Formalization of Social Influence -- A Unified Epistemic Analysis of Iterated...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 210
    Programming Logics Essays in Memory of Harald Ganzinger /
    Published in Springer eBooks (2013)
    Table of Contents: “...Harald Ganzinger's Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 211
    Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 212
    Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 213
    Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 214
    Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
    by Vieira, Renata
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 215
    Chinese Spoken Language, Processing 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings
    by Huo, Qiang
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 216
    Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “...Lexical semantics -- Lexical resources -- Lexicology -- Natural language processing...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 217
    Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Pseudogapping as Pseudo-VP Ellipsis -- Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 218
    Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings /
    by Prade, Henri
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 219
    Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
    by Kern-Isberner, Gabriele
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 220
    Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed