Cover is for reference only

Mathematics mechanization and applications

Saved in:
Bibliographic Details
Group Author: Gao Xiao-shan.; Wang Dongming.
Published: Academic Press,
Publisher Address: San Diego
Publication Dates: c2000.
Literature type: Book
Language: English
Subjects:
Automatic theorem proving
Equations > Numerical solutions.
Artificial intelligence
Programming (Mathematics)
Carrier Form: xix, 551 p.: ill. ; 25 cm.
ISBN: 0127347607
Index Number: O29
CLC: O29
O1
Call Number: O1/M426
Contents: Includes bibliographical references (p. 507-539) and index.

Related Book Recommendations