Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings<br />Author: Philippe Codognet<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-42935-7<br /> DOI: 10.1007/3-540-45635-X<br /><br />Table of Contents:<p></p><ul><li>Solving the Multiplication Constraint in Several Approximation Spaces </li><li>Is Logic Really Dead or Only Just Sleeping? </li><li>Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations </li><li>X-tegration — Some Cross-Enterprise Thoughts…
Scores only count accounts older than 7 days and ratings made after publication; read-verified ratings weigh double; ratings from readers who didn’t finish are shown but not counted.
Risalah Sidang Badan Penyelidik Usaha-Usaha Persiapan Kemerdekaan Indonesia (BPUPKI), Panitia Persiapan Kemerdekaan Indonesia (PPKI), 28 Mei 1945-22 Agustus 1945
