Showing 421 - 440 results of 677 for search 'mathematical logic and formal (languages OR language).', query time: 0.17s Refine Results
  1. 421
    Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 422
    Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... over Tree Valuation Monoids and Their Characterization by Weighted Logics -- A New Partial Key Exposure...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 423
    Fuzzy Logic and Applications (vol. # 2955) 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
    by Di Gesú, Vito
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 424
    Fuzzy Logic and Applications (vol. # 3849) 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
    by Bloch, Isabelle
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 425
    Transactions on Computational Systems Biology VII
    by Ingolfsdottir, Anna
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 426
    Transactions on Computational Systems Biology VI
    by Plotkin, Gordon
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 427
    Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
    by Stock, Oliviero
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 428
    Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /
    by Olivetti, Nicola
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 429
    Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
    by Konev, Boris
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 430
    KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, OsnabrГјck, Germany, September 10-13, 2007. Proceedings /
    by Hertzberg, Joachim
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 431
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    by Futatsugi, Kokichi
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 432
    Regulated Grammars and Automata
    Table of Contents: “...Introduction -- Mathematical Background -- Rudiments of Formal Language Theory -- Context-Based...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 433
    Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... with Parallel Rewriting for Chain Code Picture Languages -- Base-Complexity Classifications of QCB0-Spaces...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 434
    Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings
    by Matsumoto, Yuji
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 435
    Complexity Theory Exploring the Limits of Efficient Algorithms /
    by Wegener, Ingo
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 436
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    by Edelkamp, Stefan
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 437
    Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 438
    Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 439
    Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Circuits -- Detecting Regularities on Grammar-Compressed Strings -- An Unusual Temporal Logic....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 440
    Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I /
    Published in Springer eBooks (2014)
    Table of Contents: “... Languages -- Asymptotic Monadic Second-Order Logic -- Towards Efficient Reasoning Under Guarded-based...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed