Showing 601 - 620 results of 677 for search 'mathematical logic and formal (languages OR language).', query time: 0.36s Refine Results
  1. 601
    Principles and Practice of Semantic Web Reasoning (vol. # 3703) Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
    by Fages, François
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 602
    Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
    by Hong, Hoon
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 603
    Advances in Geometric Modeling and Processing 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings
    by Kim, Myung-Soo
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 604
    Advances in Geometric Modeling and Processing 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings /
    by Chen, Falai
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 605
    Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
    by Botana, Francisco
    Published in Springer eBooks (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 606
    Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 607
    Conceptual Modeling - ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
    by Delcambre, Lois
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 608
    Artificial Intelligence and Soft Computing вЂ" ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings /
    by Rutkowski, Leszek
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 609
    Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings /
    by Torra, Vicenç
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 610
    Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings /
    by Huang, De-Shuang
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 611
    Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 612
    Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 613
    Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers /
    by Schilder, Frank
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 614
    Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
    by Embley, David W.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 615
    Active Conceptual Modeling of Learning Next Generation Learning-Base System Development /
    by Chen, Peter P.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 616
    Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba /
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 617
    Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 618
    Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... of regular expressions -- Partial word automata -- Picture languages -- Pushdown automata -- Queue automata...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 619
    Inductive Fuzzy Classification in Marketing Analytics
    by Kaufmann, Michael
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 620
    Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed