Отображение 121 - 140 результаты of 1,266 для поиска '"Logic."', время запроса: 0.04сек. Отмена результатов
  1. 121
    Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /
    по Benis-Sinaceur, Hourya, Panza, Marco, Sandu, Gabriel
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic....”
    Полный текст
    Электронная книга
  2. 122
    From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice /
    по Śmiałek, Michał, Nowakowski, Wiktor
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic....”
    Полный текст
    Электронная книга
  3. 123
    Reasonableness and Effectiveness in Argumentative Discourse Fifty Contributions to the Development of Pragma-Dialectics /
    по van Eemeren, Frans H.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic....”
    Полный текст
    Электронная книга
  4. 124
    A Concise Introduction to Mathematical Logic
    по Rautenberg, Wolfgang
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  5. 125
    The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators /
    по Soifer, Alexander
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  6. 126
    Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
    по Kerkhove, Bart
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  7. 127
    Guida alla teoria degli insiemi
    по Lolli, Gabriele
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  8. 128
    Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  9. 129
    Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  10. 130
    Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    по Hutter, Dieter
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  11. 131
    Einführung in die mathematische Logik
    по Asser, Günter
    Публикация 1965
    Предметы: “...Logic, Symbolic and mathematical....”
    Книга
  12. 132
    Romanian Studies in Philosophy of Science
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic....”
    Полный текст
    Электронная книга
  13. 133
    Scenario Logic and Probabilistic Management of Risk in Business and Engineering
    по Solojentsev, E. D.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  14. 134
    Introduction to Boolean Algebras
    по Givant, Steven
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  15. 135
    A Mathematical Prelude to the Philosophy of Mathematics
    по Pollard, Stephen
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic, Symbolic and mathematical....”
    Полный текст
    Электронная книга
  16. 136
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    по Etessami, Kousha
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  17. 137
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    по Hurd, Joe
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  18. 138
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    по Jureta, Ivan
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  19. 139
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  20. 140
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    по Schneider, Klaus
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток