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

UL

持有資料詳情 UL
索引號: 519.6 CHA
復印件 Live Status Unavailable

相似書籍