Отображение 661 - 677 результаты of 677 для поиска 'mathematical logic and formal (languages OR language).', время запроса: 0.33сек. Отмена результатов
  1. 661
    Ontology Matching
    по Euzenat, Jérôme
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 662
    Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Natural Language Processing -- Representing the Lexicon -- The Lexicon and Ontologies: Tools...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 663
    Towards the Future of Fuzzy Logic
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...On Reasoning With Words and Perceptions -- Language, Fuzzy Logic, Metalogic -- On What I Still Hope...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 664
    Epistemic modal logic, universal philosophical epistemology, and natural theology: God's omniscience as a formal-axiological law of the two-valued algebra of metaphysics as formal axiology (demonstrating the law by "computing" relevant evaluation-functions)
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  5. 665
    Handbook of Philosophical Logic Volume 17 /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Logics: From Foundations to Meta-mathematics; Murdoch J. Gabbay -- Introduction to Labelled Deductive...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 666
    Applied Computational Thinking with Python Design Algorithmic Solutions for Complex and Challenging Real-World Problems.
    по Jesús, Sofía De
    Публикация 2020
    Оглавление: “... -- Computational biology -- Data structures -- Information theory -- Automata theory -- Formal language theory...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 667
    Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 668
    Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 1 /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Searching Partially Bounded Regions with P Systems -- Power System Stability Enhancement using Fuzzy Logic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 669
    Rational Reconstructions of Modern Physics
    по Mittelstaedt, Peter
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Development of Quantum Mechanics -- The Reduction of Ontological Hypotheses -- The Formal Languages...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 670
    The Magic Ring Systems Thinking Approach to Control Systems /
    по Mella, Piero
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...The Language of Systems Thinking for Control Systems -- The Ring: The General Structure of Control...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 671
    Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Computing Concept Lattices from Very Sparse Large-Scale Formal Contexts -- Swip: A Natural Language...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 672
    Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Graphical Representations of Context-Free Languages -- An Example Hyper Venn Proof -- Visualizing Concepts...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 673
    Mind, Values, and Metaphysics Philosophical Essays in Honor of Kevin Mulligan - Volume 1 /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Formal objects and the argument from knowledge; J. Leech -- The naming of facts and the methodology...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 674
    Design Science: Perspectives from Europe European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 675
    Emerging Technologies for STEAM Education Full STEAM Ahead /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... based on 21st century skills.- Reconceptualizing a middle school mathematics curriculum based on 21st...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 676
    Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... in Bacterial Colony Growth -- Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 677
    Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 - July 4, 2014, Brunów, Poland
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Anomaly Detection: A Case Study -- A Formal Approach for Preventive Maintenance Workload Balancing...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток