Download or read book Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang written by Pnueli Amir and published by World Scientific. This book was released on 1996-10-25 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.