-
西文图书1.Technology of Object-Oroented Languages and Systems Conferene TP311-53/T1
馆藏复本:1
可借复本:1 Tim Korson , Vijay Vaishnavi , Bertrand Meyer
Prentice Hall 1991
(0) 馆藏 -
西文图书2.International Conference on Deductive and Object-Oriented Databases TP311-53/I1
馆藏复本:1
可借复本:1 Won Kin , Jean-Marie Nicolas Shojiro Nishio
North-Holland 1990
(0) 馆藏 -
西文图书3.Deductive and object-oriented databases : Proceedings TP311-53/I2
馆藏复本:1
可借复本:1 International conference,
Springer-Verlag 1991
(0) 馆藏 -
西文图书4.Truth maintenance systems : proceedings TP311-53/E1
馆藏复本:1
可借复本:1 J . P . Martins , M . Reinfrank
Springer-Verlag 1991
(0) 馆藏 -
西文图书5.Logic program synthesis and transformation : Proceedings TP311-53/I3
馆藏复本:1
可借复本:1 LOPSTR international work
VCH 1992.
(0) 馆藏