Cover Image

Mathematics mechanization and applications /

Show other versions (1)
Bibliographic Details
Other Authors: Gao, Xiao-Shan, Wang, Dongming
Format: Book
Language:English
Published: San Diego : Academic Press, [2000]
Subjects:
Automatic theorem proving.
Equations > Numerical solutions.
Artificial intelligence.
Programming (Mathematics)
Description
Physical Description:xix, 551 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 507-539) and index.
ISBN:0127347607