Logic for computer science : foundations of automatic theorem proving
著者
書誌事項
Logic for computer science : foundations of automatic theorem proving
University Microfilms International, 1994
facsim
大学図書館所蔵 全3件
この図書・雑誌をさがす
注記
Includes index
This is an authorized facsimile made from the master copy of the original book
Original book is published in c1988 by J. Wiley