Showing 141 - 160 results of 1,294 for search '"Logic"', query time: 0.06s Refine Results
  1. 141
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    by Etessami, Kousha
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 142
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    by Hurd, Joe
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 143
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 144
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    by Damm, Werner
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 145
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    by Schneider, Klaus
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 146
    Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Ball, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 147
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 148
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    by Jureta, Ivan
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 149
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 150
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 151
    Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 152
    Thinking and being
    by Kimhi, Irad
    Published 2018
    Subjects: “...Logic....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  13. 153
    Logos of Phenomenology and Phenomenology of the Logos. Book Four The Logos of Scientific Interrogation. Participating in Nature-Life-Sharing in Life /
    Subjects: “...Science Logic 309372...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 154
    Set Theory Centre de Recerca MatemГ tica Barcelona, 2003вЂ"2004 /
    by Bagaria, Joan
    Published in Springer e-books (2006)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 155
    Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox /
    by Rahman, Shahid
    Published in Springer eBooks (2008)
    Subjects: “...logic 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 156
    Reasonableness and Effectiveness in Argumentative Discourse Fifty Contributions to the Development of Pragma-Dialectics /
    by van Eemeren, Frans H.
    Published in Springer eBooks (2015)
    Subjects: “...logic. 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 157
    Cardinal Invariants on Boolean Algebras Second Revised Edition /
    by Monk, J. Donald
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 158
    Concrete Semantics With Isabelle/HOL /
    by Nipkow, Tobias, Klein, Gerwin
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 159
    Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /
    Subjects: “...logic. 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 160
    Handbook of Spatial Logics
    by Aiello, Marco
    Published in Springer e-books (2007)
    Subjects: “...Science Logic, Symbolic and mathematical 314112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed