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

ISBN 0792378490 (alk. paper)
Computer-aided reasoning : ACL2 case studies edited by Matt Kaufmann, Panagiotis  Manolios, J Strother Moore.
Select format:




DMCA notice



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

Share:
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


For copyright owners: How you can see this page doesn't contains any files to download and doesn't violate anyone's rights. This page is the ISBN record of database and contains only title of book and description it's content. The goal of this site is the informing in an accessible form with links within ISBN number and book's title.


Click here to see similar books:
1 Tod, Hoffnung, Jenseits : Dimensionen und Konsequenzen biblisch verankerter Eschatologie : ein Symposion hrsg. von Ferdinand Dexinger ; mit Beitragen von Notker Fuglister... [et al.].

Tod, Hoffnung, Jenseits : Dimensionen und Konsequenzen biblisch verankerter Eschatologie : ein Symposion hrsg. von Ferdinand Dexinger ; mit Beitragen von Notker Fuglister... [et al.].

by hrsg. von Ferdinand Dexinger ; mit Beitra?gen von Notker Fu?glister... [et al.].

ISBN: 3210247129
Publication & Distribution: Wien . Herder, (c)1983.
Author: Dexinger, Ferdinand.$0(OCoLC)viaf166940838
Author: Fu?glister, Notker.
2 Herkulesbad : eine osterreichische Geschichte Herbert Rosendorfer.

Herkulesbad : eine osterreichische Geschichte Herbert Rosendorfer.

by Herbert Rosendorfer.

ISBN: 3485004952
Author: Rosendorfer, Herbert, 1934-
Publication & Distribution: Mu?nchen . Nymphenburger, (c)1985.
3 The nine dragons : a novel of Hong Kong, 1997 Justin Scott.

The nine dragons : a novel of Hong Kong, 1997 Justin Scott.

by Justin Scott.

ISBN: 055307329X :$c$20.00
Author: Scott, Justin.
Publication & Distribution: New York . Bantam Books, (c)1991.
4 Theodor Storm, Der Schimmelreiter von Gerd Weinreich.

Theodor Storm, Der Schimmelreiter von Gerd Weinreich.

by von Gerd Weinreich.

ISBN: 3425060457
Author: Weinreich, Gerd.
Publication & Distribution: Frankfurt am Main . M. Diesterweg, (c)1988.
Author: Storm, Theodor, 1817-1888.$tSchimmelreiter.

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