Symbolic, logic and mechanical theorem proving

other_versions_link
書目詳細資料
主要作者: Chang, Chin-Liang
其他作者: Lee, Richard Char-Tung
格式: Printed Book
語言:English
出版: New York Academic Press 1973
主題:
Symbolic theorem proving > Logic theorem proving > Mechanical theorem proving > Computational mathematics > Numerical analysis > Computer programming > Computer software
Search Result 1
Symbolic logic and mechanical theorem proving /
由 Chang, Chin-lidng
出版 1973
other_versions_search_link

相似書籍