Showing 641 - 660 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.16s Refine Results
  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 /
    Published in Springer eBooks (2014)
    Table of Contents: “... computing and sensory analysis -- Similarity analysis -- Fuzzy logic, formal concept analysis and rough set...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2014)
    Table of Contents: “... computing and sensory analysis -- Similarity analysis -- Fuzzy logic, formal concept analysis and rough set...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2014)
    Table of Contents: “... computing and sensory analysis -- Similarity analysis -- Fuzzy logic, formal concept analysis and rough set...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 644
    Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings
    by Imiya, Atsushi
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 645
    AI 2005: Advances in Artificial Intelligence 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings
    by Jarvis, Ray
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 646
    AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings /
    by Orgun, Mehmet A.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 647
    Rough Sets and Current Trends in Computing 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings
    by Greco, Salavatore
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 648
    Database Theory - ICDT 2007 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
    by Schwentick, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 649
    Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 650
    Deterministic and Statistical Methods in Machine Learning First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures
    by Lawrence, Neil
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 651
    AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 652
    Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... in formal concept analysis and related methods -- Fuzzy decision making and consensus -- Soft computing...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Brazdil, Pavel
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 655
    Artificial Intelligence and Neural Networks 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers
    by Savaci, F. Acar
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Fürnkranz, Johannes
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2013)
    Table of Contents: “...Hungarian Pre-verbal Focus and Exhaustivity -- Logical Polysemy and Subtyping -- Treebank...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 659
    AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings
    by Sattar, Abdul
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    Published in Springer eBooks (2014)
    Table of Contents: “...LENLS -- Logic and Engineering of Natural Language Semantics (LENLS) 10 -- A Type-Theoretic Account...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed