Showing 621 - 640 results of 677 for search 'mathematical logic and formal (languages OR language).', query time: 0.17s Refine Results
  1. 621
    Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Intelligence -- Creativity -- Distributed AI -- Formal Models of General Intelligence -- Implications of AGI...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 622
    Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Automata theory and formal languages -- Principles and semantics of programming languages...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 623
    Fuzzy Systems and Knowledge Discovery (vol. # 3614) Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
    by Jin, Yaochu
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 624
    Artificial Intelligence and Soft Computing - ICAISC 2006 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings
    by Rutkowski, Leszek
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 625
    Fuzzy Systems and Knowledge Discovery (vol. # 4223) Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings
    by Wang, Lipo
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 626
    Fuzzy Systems and Knowledge Discovery (vol. # 3613) Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
    by Jin, Yaochu
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 627
    Rough Sets and Knowledge Technology First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings
    by Wang, Guoyin
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 628
    Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings /
    by Perner, Petra
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 629
    Computational Intelligence (vol. # 4114) International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II
    by Huang, De-Shuang
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 630
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 631
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 632
    Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 633
    Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... between Engineering and Social Science -- Formal approach to context -- A Constraint Based Approach...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2013)
    Table of Contents: “... for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 635
    Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Basic concepts of computability and new Turing machines -- Logics including non-classical ones...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 636
    Ontology Matching
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Duentsch, Ivo
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Hu, Xiaohua
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 639
    Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
    by Yeung, Daniel S.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 640
    Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings
    by Yao, JingTao
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed