Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
- フォーマット:
- 図書
- 責任表示:
- Laurent Fribourg, Franco Turini (Eds.)
- 言語:
- 英語
- 出版情報:
- Berlin ; New York : Springer-Verlag, c1994
- 形態:
- ix, 450 p. ; 24 cm
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 883 <BA00009279>
- 書誌ID:
- BA23996309
- ISBN:
- 9783540587927 [3540587926]
類似資料:
MIT Press | |