登入選單
Google圖書搜尋
ISBN : 1468403591總數: gridview
First-Order Logic and Automated Theorem Proving
作者
Department of Mathematics and Computer Science Lehman College Melvin Fitting / Melvin Fitting
出版2012
ISBN
1468403591 / 9781468403596
主題
Artificial intelligence