Logical foundations of computer science proceedings - Adian Sergei ed.; International Symposium, LFCS'97 on Logical Foundations of Computer Science (4th : 6-12 Jul 1997 : Yaroslavl,Russia); International symposium, LFCS'97 on logical foundations of computer science Yaroslavl, Russia 6-12 Jul 1997 (Berlin Springer-Verlag, 1997)
Keywords: Computer science; Logic programming