Отображение 481 - 500 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.22сек. Отмена результатов
  1. 481
    Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 482
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy
    по Kohlhase, Michael
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 483
    Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 484
    Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... with Transition Priorities and Inhibitor Arcs -- Reachability in Graph Transformation Systems and Slice Languages...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 485
    Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...From Reachability to Temporal Specifications in Cost-Sharing Games -- Electronic Voting: How Logic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 486
    Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 487
    Transactions on Rough Sets VIII
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 488
    Induction, Algorithmic Learning Theory, and Philosophy
    по Friend, Michèle
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 489
    Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 490
    Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 491
    A General Framework for Reasoning On Inconsistency
    Оглавление: “... -- Algorithms -- Handling Inconsistency in Monotonic Logics -- Link with Existing Approaches -- Conclusions....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 492
    Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 493
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 494
    Automated Deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...One Logic to Use Them All -- The Tree Width of Separation Logic with Recursive Definitions...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 495
    Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... for Admissibility in Finite Algebras -- Formalizing Cut Elimination of Coalgebraic Logics in Coq -- Intelligent...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 496
    Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Satisfaction Approach for Programmable Logic Detailed Placement -- Minimizing Models for Tseitin-Encoded SAT...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 497
    Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings /
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 498
    Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings /
    по Gelbukh, Alexander
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 499
    Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006
    по Sichman, Jaime Simao
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 500
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток