Showing 1 - 20 results of 27 for search '"Logics for computability"', query time: 0.06s Refine Results
  1. 1
    Logic in computer science
    Published 2009
    Перейти в каталог НБ ТГУ
    Book
  2. 2
    Logic for computer scientists
    by Schoening, Uwe 1955-
    Published 2001
    Перейти в каталог НБ ТГУ
    Book
  3. 3
    Logic in computer science
    Published 2015
    Перейти в каталог НБ ТГУ
    Book
  4. 4
    Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
    Published in Springer eBooks (2015)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 6
    Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
    by Goble, Lou
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 7
    Polynomial Theory of Error Correcting Codes
    by Cancellieri, Giovanni
    Published in Springer eBooks (2015)
    Subjects: “...Arithmetic and logic units, Computer. 462012...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 8
    Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Arithmetic and logic units, Computer. 462012...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 9
    Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Arithmetic and logic units, Computer. 462012...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 10
    Numbers and Computers
    by Kneusel, Ronald T.
    Published in Springer eBooks (2015)
    Subjects: “...Arithmetic and logic units, Computer. 462012...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 11
    High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Arithmetic and logic units, Computer. 462012...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 12
    Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... algorithms -- Automata, languages, logic and computability -- Complexity theory -- Computational learning...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 13
    Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “...? -- Part 3: Contributions in Logic and Computation Dynamics of Defeasible and Tentative Inference...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 14
    Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... in English and Russian: A Frame Semantic Analysis -- Logic and Computation.-On a Formal Connection between...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 15
    Scalable Uncertainty Management 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Argumentation Frameworks - A Logical Approach -- Computing Skyline from Evidential Data -- A Two-Level Approach...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 16
    Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... Principle for Probabilistic Programming -- Can Machines Learn Logics? -- Comparing Computer Models Solving...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 17
    Chemical Optimization Algorithm for Fuzzy Controller Design
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 18
    Handbook of Philosophical Logic Volume 17 /
    Published in Springer eBooks (2014)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 19
    Soft Computing Techniques in Engineering Applications
    Published in Springer eBooks (2014)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 20
    The Calculus of Life Towards a Theory of Life /
    by Moya, Andrés
    Published in Springer eBooks (2015)
    Table of Contents: “... -- Concepts for a Theoretical Biology -- General systems theory and Systems Biology -- Logic, Computation...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed