Liknande böcker

Computational Techniques in Quantum Chemistry and Molecular Physics
Bok av Geerd H F Diercksen
Words, Languages And Combinatorics - Proceedings Of The International Co...
Bok av Masami Ito
Words, Languages And Combinatorics - Proceedings Of The International Co...
Bok av Ito Masami Ito
Computational Aerosciences in the 21st Century
Bok av Manuel D Salas
Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2...
Bok av Gao Xiaoshan Gao
Recent Developments And Applications In Mathematics And Computer Science...
Bok av Shah K Tahir Shah
Mathematics of Program Construction : Second International Conference, O...
Bok av Richard Bird
Advances in Computational Mathematics : Proceedings of the Guangzhou Int...
Bok av Zhongying Chen

Symbolic And Algebraic Computation By Computers - Proceedings Of The Second International Symposium

Bok av Inada N Inada
This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manipulation machine at RIKEN known as the FLATS project.