Showing 181 - 200 results of 767 for search '"mathematical logic"', query time: 0.10s Refine Results
  1. 181
    Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 182
    AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 183
    Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 184
    New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 185
    Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 186
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 187
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 188
    Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 189
    A Modern Perspective on Type Theory From its Origins until Today /
    by Kamareddine, Fairouz
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 190
    Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 191
    Set Theory Centre de Recerca MatemГ tica Barcelona, 2003вЂ"2004 /
    by Bagaria, Joan
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 192
    Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers.
    by Borrajo, Daniel
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 193
    Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /
    by Inoue, Katsumi
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 194
    Advances in Learning Classifier Systems 4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7-8, 2001 Revised Papers /
    by Lanzi, Pier Luca
    Published 2006
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 195
    Computational Logic in Multi-Agent Systems (vol. # 3487) 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
    by Leite, João
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 196
    Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
    by Banâtre, Jean-Pierre
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 197
    Computational Logic in Multi-Agent Systems (vol. # 3900) 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
    by Toni, Francesca
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 198
    AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings /
    by Basili, Roberto
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 199
    Cardinal Invariants on Boolean Algebras Second Revised Edition /
    by Monk, J. Donald
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Foundations. 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 200
    Concrete Semantics With Isabelle/HOL /
    by Nipkow, Tobias, Klein, Gerwin
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed