-
西文图书1.Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Lo TP302.2-53/E1:(91)
馆藏复本:1
可借复本:1 sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau (eds.)
Springer-Verlag, c1992.
(0) 馆藏