User's guide to SABLE 2.0: The Sandia Automated Boolean Logic Evaluation software SAND-96-0842 DE96 010915

User's guide to SABLE 2.0: The Sandia Automated Boolean Logic Evaluation software

SAND-96-0842 DE96 010915

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: User's guide to SABLE 2.0: The Sandia Automated Boolean Logic Evaluation software
Author/Editor: Hays, K. M
Wyss, G. D
Daniel, S. L
Publication Date: 1996
Publication Date (W3CDTF): 1996
Extent: 62 p. (1 microfiche)
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : SAND-96-0842
テクニカルリポート番号 : DE96 010915
Holding library: 国立国会図書館
Call No.: LS-DE96/010915
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000005855204
http://id.ndl.go.jp/bib/000005855204
Bibliographic Record Category (NDL): 291