Showing 141 - 160 results of 767 for search '"mathematical logic"', query time: 0.07s Refine Results
  1. 141
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 142
    Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 143
    Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 144
    Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
    by Kerkhove, Bart
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 145
    The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators /
    by Soifer, Alexander
    Published in Springer eBooks (2009)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 146
    The Arché Papers on the Mathematics of Abstraction
    by Cook, Roy T.
    Published in Springer e-books (2008)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 147
    Introduction to Boolean Algebras
    by Givant, Steven
    Published in Springer eBooks (2009)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 148
    Guida alla teoria degli insiemi
    by Lolli, Gabriele
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 149
    Models of Strategic Reasoning Logics, Games, and Communities /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 150
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 151
    Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 152
    Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 153
    Nonstandard Analysis for the Working Mathematician
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 154
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 155
    Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 156
    Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 157
    Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 158
    Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 159
    Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 160
    Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed