Theorem Proving in Higher Order Logics (Lecture Notes in Computer Science, 3603)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-28372-0
ポスト名
cat14
Theoretical Aspects of Computing - ICTAC 2004 (Lecture Notes in Computer Science, 3407)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-25304-4
Theoretical Aspects of Computing - ICTAC 2005 (Lecture Notes in Computer Science, 3722)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-29107-7
Theoretical Aspects of Computing - ICTAC 2011 (Lecture Notes in Computer Science, 6916)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-23282-4
Theoretical Aspects of Computing - ICTAC 2012 (Lecture Notes in Computer Science, 7521)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-32942-5
Theoretical Computer Science (Lecture Notes in Computer Science, 3701)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-29106-0
Theoretical Computer Science (Lecture Notes in Computer Science, 7604)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-33474-0
Theoretical Foundations of Artificial General Intelligence (Atlantis Thinking Machines, 4)
出版社
電子書籍プラットフォーム
分野
ISBN
978-94-91216-61-9
Theoretical and Experimental DNA Computation (Natural Computing Series)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-65773-6