関連のトピックス ...
検索結果 1 - 20 結果 / 20 検索語 '', 処理時間: 0.02秒 結果の絞り込み
  1. 1
    Introduction to languages and the theory of computation /
    著者: Martin, John C.
    出版事項 2003
    全文の入手
    全文の入手
    Printed Book
  2. 2
    Computability theory /
    著者: Cooper, S. B.
    出版事項 2004
    全文の入手
    Printed Book
  3. 3
    Effective mathematics of the uncountable /
    Printed Book
  4. 4
    Effective mathematics of the uncountable /
    出版事項 2013
    Printed Book
  5. 5
    Computability and logic /
    著者: Boolos, George S.
    出版事項 2002
    全文の入手
    全文の入手
    Printed Book
  6. 6
    Computability and logic /
    著者: Boolos, George
    出版事項 1974
    Printed Book
  7. 7
    Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Cesky Krumlov, Czech Republic, August 26-31, 2007 ; proceedings /
    出版事項 2007
    全文の入手
    Printed Book
  8. 8
    Theory of computation /
    著者: Tourlakis, George J.
    出版事項 2012
    Printed Book
  9. 9
    Proofs and computations /
    著者: Schwichtenberg, Helmut, Wainer, S. S.
    出版事項 2012
    Table of contents only
    Contributor biographical information
    Publisher description
    Printed Book
  10. 10
    Three views of logic : mathematics, philosophy, and computer science /
    著者: Loveland, Donald W.
    出版事項 2014
    Printed Book
  11. 11
    Computability Theory;Vol.62
    著者: Weber,Rebecca
    Printed Book
  12. 12
    Introduction to languages and the theory of computation.-2nd ed.
    著者: Martin, John C.
    出版事項 1997
    Printed Book
  13. 13
    Introduction to languages and the theory of computation.-3rd ed.
    著者: Martin, John C.
    出版事項 2007
    Printed Book
  14. 14
    Automata, computability and complexity : theory and applications /
    著者: Rich, Elaine
    出版事項 2012
    Printed Book
  15. 15
    Introduction to language and the theory of computation. -3rd Ed.
    著者: Martin, John C
    出版事項 2007
    Printed Book
  16. 16
    Introduction to language and the theory of computation. -2nd Ed.
    著者: Martin, John C
    出版事項 1996
    Printed Book
  17. 17
    Computability theory, semantics and logic programming
    著者: Fitting, Melvin
    出版事項 1987
    Printed Book
  18. 18
    Automata and computability
    著者: Kozen, Dexter C
    出版事項 2002
    Printed Book
  19. 19
    Set Theory for Computing: from decision procedures to declarative programming with sets /
    著者: Cantone, Domenico et.al
    出版事項 2001
    Printed Book
  20. 20
    Automata and computability /
    出版事項 1997
    Printed Book
検索ツール: RSSフィード — 検索結果をメール