შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
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
2
Computer-aided reasoning: ACL2 case studies

Computer-aided reasoning: ACL2 case studies

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
წელი:
2000
ენა:
english
ფაილი:
DJVU, 2.77 MB
0 / 0
english, 2000
3
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

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)
წელი:
1990
ენა:
english
ფაილი:
DJVU, 5.80 MB
0 / 0
english, 1990
4
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

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)
წელი:
1990
ენა:
english
ფაილი:
PDF, 44.87 MB
0 / 0
english, 1990
5
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
6
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
7
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
8
Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
წელი:
2000
ენა:
english
ფაილი:
PDF, 11.72 MB
0 / 0
english, 2000