Отображение 641 - 660 результаты of 677 для поиска 'mathematical logic and formal (languages OR language).', время запроса: 0.19сек. Отмена результатов
  1. 641
    Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part I /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... computing and sensory analysis -- Similarity analysis -- Fuzzy logic, formal concept analysis and rough set...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 642
    Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... computing and sensory analysis -- Similarity analysis -- Fuzzy logic, formal concept analysis and rough set...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 643
    Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... computing and sensory analysis -- Similarity analysis -- Fuzzy logic, formal concept analysis and rough set...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 644
    Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings
    по Imiya, Atsushi
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 645
    AI 2005: Advances in Artificial Intelligence 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings
    по Jarvis, Ray
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 646
    AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings /
    по Orgun, Mehmet A.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 647
    Rough Sets and Current Trends in Computing 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings
    по Greco, Salavatore
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 648
    Database Theory - ICDT 2007 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
    по Schwentick, Thomas
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 649
    Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 650
    Deterministic and Statistical Methods in Machine Learning First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures
    по Lawrence, Neil
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 651
    AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 652
    Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... in formal concept analysis and related methods -- Fuzzy decision making and consensus -- Soft computing...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 653
    Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 654
    Knowledge Discovery in Databases: PKDD 2005 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings
    по Brazdil, Pavel
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 655
    Artificial Intelligence and Neural Networks 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers
    по Savaci, F. Acar
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 656
    Knowledge Discovery in Databases: PKDD 2006 10th European Conference on Principles and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006, Proceedings
    по Fürnkranz, Johannes
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 657
    Machine Learning Challenges Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13
    по Quinonero-Candela, Joaquin
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 658
    New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Hungarian Pre-verbal Focus and Exhaustivity -- Logical Polysemy and Subtyping -- Treebank...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 659
    AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings
    по Sattar, Abdul
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 660
    New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...LENLS -- Logic and Engineering of Natural Language Semantics (LENLS) 10 -- A Type-Theoretic Account...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток