Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.

Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis  Manolios, J Strother Moore.
Download now Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore. edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.:




Choose file format to download:


Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.

Share:
For copyright's owner (DMCA)
This page contains information about the book, but not the book itself.
There is also no reference to the book, books's content or download it.
This page is a database recording ISBN numbers and titles of books or magazines.
However, publications or references to them is not here.
All rights are reserved by their respective owners.
For any questions please email to [email protected]
Book's title: Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
Library of Congress Control Number: 00037106
International Standard Book Number (ISBN):0792378490 (alk. paper)
Cataloging Source:DLC, DLC
Authentication Code:pcc
Library of Congress Call Number:QA76.76.E95 C655 2000
Dewey Decimal Classification Number:006.3/3$221
Publication, Distribution, etc.:Boston . Kluwer Academic Publishers, (c)2000.
Physical Description:xv, 337 p. ;, 25 cm.
Title:Advances in formal methods ;$v4
Bibliography, etc. Note:Includes bibliographical references (p. [317]-324) and index.
Personal Name:Kaufmann, Matt.
Personal Name:Manolios, Panagiotis.
Personal Name:Moore, J Strother, 1947-
Rubrics: Expert systems (Computer science)
Computer-aided design

Download now "Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.":





Click here to see similar releases:
1
The East Asian dilemma : restructuring out or growing out Yung Chul Park.
ISBN: 0881651303
Author: Pak, Y?ng-ch??l, 1939-
Publication & Distribution: Princeton, NJ . International Economics Section, (c)2001.
2
Audi owners workshop manual A.K. Legg. --
ISBN: 0856966150 (pbk.) :$c$21.30
Author: Legg, A. K.
Publication & Distribution: Yeovil, England . Haynes, (c)1983.

Please leave the review about "Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore." book below: