Art
J-GLOBAL ID:201602014856599483   Reference number:62A0146287

A machine program for theorem-proving.

定理証明のプログラム
Author (3):
Material:
Volume:Issue:Page: 394-397  Publication year: 1962
JST Material Number: B0330B  ISSN: 0001-0782  CODEN: CACMA   Document type: Article
Article type: 原著論文  Country of issue: United States (USA) 
Terms in the title (1):
Terms in the title
Keywords automatically extracted from the title.

Return to Previous Page