Showing 321 - 340 results of 1,294 for search '"Logic"', query time: 0.05s Refine Results
  1. 321
    On Law and Reason
    by Peczenik, Aleksander
    Published in Springer eBooks (2008)
    Subjects: “...logic 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 322
    Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    by Nieuwenhuis, Robert
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 323
    Visualization, Explanation and Reasoning Styles in Mathematics
    by Mancosu, Paolo
    Published in Springer e-books (2005)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 324
    The Dynamics of Thought
    by Gärdenfors, Peter
    Published in Springer e-books (2005)
    Subjects: “...logic 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 325
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Furbach, Ulrich
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 326
    Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
    by Mycroft, Alan
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 327
    Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    by Hill, Patricia M.
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 328
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 329
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    by Nielson, Hanne Riis
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 330
    Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
    by Bozapalidis, Symeon
    Published in Springer eBooks (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 331
    25 Years of Model Checking History, Achievements, Perspectives /
    by Grumberg, Orna
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 332
    Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
    by Mossakowski, Till
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 333
    Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    by Hendren, Laurie
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 334
    Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
    by Etalle, Sandro
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 335
    Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /
    by Cousot, Patrick
    Published 2006
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 336
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    by Reps, Thomas
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 337
    Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
    by Fiadeiro, José Luiz
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 338
    Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    by Fiadeiro, José Luiz
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 339
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    by Fiadeiro, José Luiz
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 340
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed