Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Computer-Aided Reasoning
häftad,
2010,
Engelska,
ISBN 9781441949813
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain …
Computer-Aided Reasoning
inbunden,
2000,
Engelska,
ISBN 9780792378495
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain …