Verwandte Artikel zu Introduction and Applications (Automated Reasoning)
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Introduction and Applications (Automated Reasoning)
Beispielbild für diese ISBN
Automated Reasoning: Introduction and Applications
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.65. Bestandsnummer des Verkäufers G007911251XI3N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Reasoning: Introduction and Applications/Book & Disk
Anbieter: PAPER CAVALIER UK, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 9780079112514-3
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Reasoning: Introduction & Applications, 2nd Edition
Anbieter: BookDepart, Shepherdstown, WV, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 37450
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Reasoning: Introduction and Applications/Book & Disk
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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! Bestandsnummer des Verkäufers S_439156768
Anzahl: 1 verfügbar