Showing 521 - 540 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.16s Refine Results
  1. 521
    Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... of Collective Adaptive Systems -- The Scribble Protocol Language -- Dynamic Measurement and Protected Execution...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 522
    Reasoning Web. Reasoning on the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- An Introduction to Description Logics and Query -- An Introduction to Ontology-Based Query Answering...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 523
    Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 524
    MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
    by Gelbukh, Alexander
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 525
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 526
    Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Access Optimization for Data-Parallel Languages -- Approximation and Forgetting -- Roughening the EL...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 527
    Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 528
    Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
    by Avron, Arnon
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 529
    Advances in Case-Based Reasoning 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4вЂ"7, 2002 Proceedings /
    by Craw, Susan
    Published 2006
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 530
    Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /
    by Gokhale, Maya
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 531
    Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics /
    by Majkić, Zoran
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 532
    Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin
    by MacCaull, Wendy
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 533
    Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 534
    Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “.../HOL -- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages -- A...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 535
    Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 536
    AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... representation and reasoning -- Machine learning -- Semantic web -- Natural language -- Scheduling, planning...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 537
    KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 538
    New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “...LENLS 11 -- Logic and Engineering of Natural Language Semantics (LENLS) 11 -- Codability...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 539
    Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers /
    by Branco, António
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 540
    Computational Linguistics and Intelligent Text Processing (vol. # 3878) 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
    by Gelbukh, Alexander
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed