Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
Author: Pnueli Amir
Publisher: World Scientific
Published: 1996-10-25
Total Pages: 320
ISBN-13: 9814547360
DOWNLOAD EBOOK →With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and automated geometric reasoning, and to the design and implementation of educational software and integrated teaching and learning environments. The book may serve as a useful reference for researchers, educators, and other professionals interested in developing, using, and practising methodologies and software tools of symbolic computation for education from the secondary to the undergraduate level.