Computer-aided reasoning : ACL2 case studies Matt Kaufmann; Panagiotis Manolios; J Strother Moore
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9781441949813
- 006.33 KAU
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
CUTN Central Library Generalia | Non-fiction | 006.33 KAU (Browse shelf(Opens below)) | Available | 29937 |
Browsing CUTN Central Library shelves, Shelving location: Generalia, Collection: Non-fiction Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
006.32 YEN Artificial neural networks | 006.32 YEN Artificial neural networks | 006.330 HOP Intelligent systems for engineers and scientists / | 006.33 KAU Computer-aided reasoning : | 006.33 VAH Intelligent techniques for planning | 006.332 FRA An introduction to description logic / | 006.35 AKS Natural language processing : |
An exercise in graph theory / J Strother Moore --
Modular proof : the fundamental theorem of calculus / Matt Kaufmann --
Mu-calculus model-checking / Panagiotis Manolios --
High-speed, analyzable simulators / David Greve, Matthew Wilding, and David Hardin --
Verification of a simple pipelined machine model / Jun Sawada --
The DE language / Warren A. Hunt, Jr. --
Using macros to mimic VHDL / Dominique Borrione, Philippe Georgelin, and Vanderlei Rodrigues --
Symbolic trajectory evaluation / Damir A. Jamsek --
RTL verification : a floating-point multiplier / David M. Russinoff and Arthur Flatau --
Design verification of a safety-critical embedded verifier / Piergiorgio Bertoli and Paolo Traverso --
Compiler verification revisited / Wolfgang Goerigk --
Ivy : a preprocessor and proof checker for first-order logic / William McCune and Olga Shumsky --
Knuth's generalization of McCarthy's 91 function / John Cowles --
Continuity and differentiability / Ruben Gamboa.
There are no comments on this title.