%0 Generic
%T Logical Foundations of Computer Science - Tver '92 Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
%A Nerode, Anil
%A Taitslin, Mikhail
%I Springer Berlin Heidelberg
%@ 9783540472766
%K Computer science
%K Computer software
%K Logic design
%K Logic, Symbolic and mathematical
%K Computer Science
%D 1992
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation