دانلود کتاب Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
by Michael Leuschel (auth.)
|
عنوان فارسی: سنتز و تحول برنامه منطق: 5 کارگاه بین المللی ، Lopstr'95 Utrecht ، هلند ، 20 تا 22 سپتامبر ، 1995 مجموعه مقالات |