Showing 581 - 600 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.16s Refine Results
  1. 581
    Discrete, Continuous, and Hybrid Petri Nets
    by David, René 1939-
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 582
    KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 583
    Transactions on Rough Sets XVI
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 584
    From Logic to Practice Italian Studies in the Philosophy of Mathematics /
    Published in Springer eBooks (2015)
    Table of Contents: “... AT MATHEMATICS THROUGH LOGIC -- Chapter 4: Frege's Grundgesetze and a Reassessment of Predicativity; Francesca...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 585
    PRICAI 2014: Trends in Artificial Intelligence 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... interaction -- Natural language processing -- Planning and scheduling....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 586
    Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 587
    Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings.
    by Parent, Christine
    Published in Springer e-books (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 588
    Rough Sets and Knowledge Technology Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings /
    by Wang, Guoyin
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 589
    Algorithmic Learning Theory (vol. # 3734) 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
    by Jain, Sanjay
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 590
    Modeling Decisions for Artificial Intelligence (vol. # 3885) Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings
    by Torra, Vicenç
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 591
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 592
    Principles and Practice of Semantic Web Reasoning (vol. # 4187) 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
    by Alferes, José Júlio
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 593
    Neural Nets 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers
    by Apolloni, Bruno
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 594
    Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007. Proceedings /
    by Kok, Joost N.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 595
    Algorithmic Learning Theory (vol. # 4264) 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
    by Balcázar, José L.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 596
    Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings /
    by Kryszkiewicz, Marzena
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 597
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings /
    by An, Aijun
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 598
    AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “...Knowledge representation and reasoning -- Machine learning -- Natural language processing...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 599
    Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 600
    Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed