Constructing programs automatically using theorem proving
著者
書誌事項
Constructing programs automatically using theorem proving
In-house reproduction
大学図書館所蔵 全1件
この図書・雑誌をさがす
注記
Thesis(doctoral)--Carnegie-Mellon University, 1969
Constructing programs automatically using theorem proving
In-house reproduction
Thesis(doctoral)--Carnegie-Mellon University, 1969