Отображение 621 - 640 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.18сек. Отмена результатов
  1. 621
    Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Intelligence -- Creativity -- Distributed AI -- Formal Models of General Intelligence -- Implications of AGI...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 622
    Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Automata theory and formal languages -- Principles and semantics of programming languages...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 623
    Fuzzy Systems and Knowledge Discovery (vol. # 3614) Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
    по Jin, Yaochu
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 624
    Artificial Intelligence and Soft Computing - ICAISC 2006 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings
    по Rutkowski, Leszek
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 625
    Fuzzy Systems and Knowledge Discovery (vol. # 4223) Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings
    по Wang, Lipo
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 626
    Fuzzy Systems and Knowledge Discovery (vol. # 3613) Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
    по Jin, Yaochu
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 627
    Rough Sets and Knowledge Technology First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings
    по Wang, Guoyin
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 628
    Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings /
    по Perner, Petra
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 629
    Computational Intelligence (vol. # 4114) International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II
    по Huang, De-Shuang
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 630
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 631
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 632
    Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 633
    Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... between Engineering and Social Science -- Formal approach to context -- A Constraint Based Approach...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 634
    Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 635
    Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Basic concepts of computability and new Turing machines -- Logics including non-classical ones...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 636
    Ontology Matching
    по Euzenat, Jérôme, Shvaiko, Pavel
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 637
    Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (vol. # 3641) 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I
    по Duentsch, Ivo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 638
    Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (vol. # 3642) 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II
    по Hu, Xiaohua
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 639
    Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
    по Yeung, Daniel S.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 640
    Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings
    по Yao, JingTao
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток