Author books / Книги автора J. Strother Moore (Auth.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора J. Strother Moore (Auth.)

book Introduction to Abstract Algebra

Introduction to Abstract Algebra

pdf

Author: J. Strother Moore (Auth.)
Language: English
Year: 1975

00

27.01.2024

1

0

book Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-aided reasoning: ACL2 case studies

Computer-aided reasoning: ACL2 case studies

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

pdf

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

pdf

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)
Language: English
Year: 2000

00

27.01.2024

1

0

book Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications

pdf

Author: Matt Kaufmann J Strother Moore (auth.) David S. Hardin (eds.)
Language: English
Year: 2010

00

27.01.2024

2

0

book 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

pdf

Author: Robert S. Boyer J Strother Moore (auth.) Mark E. Stickel (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

djvu

Author: Robert S. Boyer J Strother Moore (auth.) Mark E. Stickel (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0