1
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
2
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
3
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
4
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