Showing 361 - 380 results of 1,294 for search '"Logic"', query time: 0.06s Refine Results
  1. 361
    Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
    by Amadio, Roberto
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 362
    Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
    by Kohlenbach, Ulrich
    Published in Springer eBooks (2008)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 363
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 364
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 365
    Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra /
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 366
    Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 367
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 368
    Argumentative Indicators in Discourse A Pragma-Dialectical Study /
    by Eemeren, Frans H.
    Published in Springer e-books (2007)
    Subjects: “...logic 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 369
    Artificial General Intelligence
    by Goertzel, Ben
    Published in Springer e-books (2007)
    Subjects: “...logic 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 370
    Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 371
    Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
    by Jermann, Christophe
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 372
    Implementation and Application of Automata (vol. # 4094) 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
    by Ibarra, Oscar H.
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 373
    Heuristic Reasoning
    Published in Springer eBooks (2015)
    Subjects: “...logic. 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 374
    From a logical point of view 9 logico-philosophical essays
    Subjects: “...Logic Addresses, essays, lectures 514548...”
    Перейти в каталог НБ ТГУ
    Book
  15. 375
    Laws of Nature
    by Mittelstaedt, Peter
    Published in Springer e-books (2005)
    Subjects: “...Science Logic, Symbolic and mathematical 314112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 376
    Modern Formal Methods and Applications
    by Gabbar, Hossam A.
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 377
    Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002 Ithaca, NY, USA, September 9вЂ"13, 2002 Proceedings /
    by Hentenryck, Pascal
    Published 2006
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 378
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    by Garrigue, Jacques
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 379
    Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
    by Hung, Dang Van
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 380
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed