Automated Reasoning: Introduction and Applications/Book & Disk - Hardcover

Wos, Larry

 
9780079112514: Automated Reasoning: Introduction and Applications/Book & Disk
Hardcover
ISBN 10: 007911251X ISBN 13: 9780079112514
Verlag: McGraw-Hill Inc.,US, 1992

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.

Verlag
McGraw-Hill Inc.,US
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
007911251X
ISBN 13 
9780079112514
Einband
Gebundene Ausgabe
Anzahl der Seiten
656
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar