Mechanical theorem proving and artificial intelligence languages
著者
書誌事項
Mechanical theorem proving and artificial intelligence languages
University Microfilms International, 1977
大学図書館所蔵 全1件
この図書・雑誌をさがす
注記
Facsim. Reprint of the author's thesis (Ph.D.)--Carnegie-Mellon University, 1977
Includes bibliographical references (leaves 341-346)