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

Wos, Larry

 
9780079112514: Automated Reasoning: Introduction and Applications/Book & Disk
Rilegato
ISBN 10: 007911251X ISBN 13: 9780079112514
Casa editrice: McGraw-Hill, 1992

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Wos Larry

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
McGraw-Hill
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
007911251X
ISBN 13 
9780079112514
Rilegatura
Copertina rigida
Numero di pagine
656
Contatto del produttore
non disponibile
Persona responsabile
Ufficio Anagrafiche Messaggerie
0039 0245774342
ufficio.anagrafiche@meli.it

Via Verdi, 8.
Assago Milano
20090
Italia