book

數理邏輯引論與歸結原理 /

Title
數理邏輯引論與歸結原理 /
Author/Creator
王國俊, 1935-
Publisher
科學出版社
Publisher Date
2006.
Note
"陝西師範大學優秀研究生教材建設基金資助出版."
Subject
Automatic theorem proving
定理機器證明
Logic, Symbolic and mathematical
數理邏輯
Library URL
991007102229706306