Showing 61 - 80 results of 94 for search '"Computer logic."', query time: 0.10s Refine Results
  1. 61
    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: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 62
    Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 63
    Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 64
    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: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 65
    Models of Strategic Reasoning Logics, Games, and Communities /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 66
    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: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 67
    Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 68
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 69
    Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 70
    Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 71
    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
  12. 72
    Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 73
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 74
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 75
    Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 76
    Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 77
    Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 78
    Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 79
    Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 80
    Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed