Inhaltsangabe
For mathematicians, engineers, computer scientists, and logicians, explains how to use automated reasoning to solve problems in mathematics research, formal logic, circuit design and validation, real-time control, and program debugging and verification. About 30% of the material is different than the 1984 first edition. Includes an automated reasoning program, OTTER, on a 5<1/2>" diskette for an IBM compatible personal computer. Annotation copyright Book News, Inc. Portland, Or.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Automated Reasoning: Introduction and Applications/Book...
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
Gebraucht kaufen
EUR 27,91
EUR 7,14 Versand
Versand innerhalb von USA
Versand innerhalb von USA
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
Gebraucht kaufen
EUR 45,12
EUR 6,96 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar