Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems ANL/MCS-TM-194 DE95 003014

Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems

ANL/MCS-TM-194 DE95 003014

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 規格・テクニカルリポート類
Title: Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems
Author/Editor: McCune, W
Publication Date: 1994
Publication Date (W3CDTF): 1994
Extent: 14 p. (1 microfiche)
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : ANL/MCS-TM-194
テクニカルリポート番号 : DE95 003014
Holding library: 国立国会図書館
Call No.: LS-DE95/003014
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000005510569
http://id.ndl.go.jp/bib/000005510569
Bibliographic Record Category (NDL): 291