Articles liés à Automated Reasoning: Introduction and Applications/Book...
Synopsis
This book explains what automated reasoning is and what it can do and then demonstrates how to use it to solve complex problems with applications in logic circuit design, circuit validation, real-time system design and expert systems. A diskette containing the automated reasoning program "Otter" is included. It is available for the first time to PCs and workstations. The book has input files, commentary, examples in "Otter" notation and a user's manual that enables readers to experiment with the material presented as well as with ideas of their own. Other features include: various challenge problems that allow readers to test, compare and evaluate new ideas and techniques; techniques for answering open questions and finding shorter proofs; methods for finding such proofs; examples and puzzles to aid in the understanding of parallel versions of an automated reasoning program; and problems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Automated Reasoning: Introduction and Applications/Book...
Image d'archives
Automated Reasoning: Introduction and Applications/Book & Disk
Edité par
McGraw-Hill, 1992
ISBN 10 : 007911251X
ISBN 13 : 9780079112514
Ancien ou d'occasion
Couverture rigide
Vendeur : PAPER CAVALIER UK, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block. N° de réf. du vendeur 9780079112514-3
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Reasoning: Introduction and Applications
Edité par
McGraw-Hill Companies, 1992
ISBN 10 : 007911251X
ISBN 13 : 9780079112514
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.65. N° de réf. du vendeur G007911251XI3N00
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Reasoning: Introduction & Applications, 2nd Edition
Edité par
McGraw Hill, 1992
ISBN 10 : 007911251X
ISBN 13 : 9780079112514
Ancien ou d'occasion
Couverture rigide
Vendeur : BookDepart, Shepherdstown, WV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to exterior; small tear at top end of spine; in very good condition with clean text, firm binding. No dust jacket. N° de réf. du vendeur 37450
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Reasoning: Introduction and Applications/Book & Disk
Edité par
McGraw-Hill, 1992
ISBN 10 : 007911251X
ISBN 13 : 9780079112514
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_439156768
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Reasoning: Introduction and Applications/Book & Disk
Edité par
Mcgraw-Hill (Tx), 1992
ISBN 10 : 007911251X
ISBN 13 : 9780079112514
Ancien ou d'occasion
Couverture rigide
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Good. Good. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur D7S9-1-M-007911251X-3
Quantité disponible : 1 disponible(s)