Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

書誌事項

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)

(Lecture notes in computer science, 982)

Springer-Verlag, c1995

この図書・雑誌をさがす
注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ