2
Introduction to Abstract Algebra

Introduction to Abstract Algebra

J. Strother Moore
年:
1975
言語:
english
ファイル:
PDF, 13.58 MB
0 / 0
english, 1975
3
A Computational Logic

A Computational Logic

Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
年:
1979
言語:
english
ファイル:
PDF, 19.40 MB
0 / 0
english, 1979
4
A Computational Logic Handbook

A Computational Logic Handbook

Robert S. Boyer, J Strother Moore
年:
1988
言語:
english
ファイル:
PDF, 19.03 MB
0 / 0
english, 1988
5
A Computational Logic Handbook

A Computational Logic Handbook

Robert S. Boyer, J. Strother Moore
年:
1988
言語:
english
ファイル:
DJVU, 2.40 MB
0 / 0
english, 1988
7
A Computational Logic (ACM monograph series)

A Computational Logic (ACM monograph series)

Robert S. Boyer, J. Strother Moore
年:
1979
言語:
english
ファイル:
PDF, 825 KB
0 / 0
english, 1979
8
A computational logic

A computational logic

Robert S. Boyer, J.Strother Moore
年:
1979
言語:
english
ファイル:
DJVU, 1.62 MB
0 / 0
english, 1979
11
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
年:
2000
言語:
english
ファイル:
DJVU, 2.07 MB
0 / 0
english, 2000
12
A computational logic

A computational logic

Robert S. Boyer, J.Strother Moore
年:
1979
言語:
english
ファイル:
DJVU, 858 KB
0 / 0
english, 1979
13
Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications

Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)
年:
2010
言語:
english
ファイル:
PDF, 6.19 MB
0 / 0
english, 2010
14
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
年:
2000
言語:
english
ファイル:
PDF, 8.93 MB
0 / 0
english, 2000
16
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

J Strother Moore
年:
1996
言語:
english
ファイル:
PDF, 11.43 MB
0 / 0
english, 1996