00848nam|a2200193 i 450000500170000000800410001702000150005803500150007311101130008824501860020126000370038730000110042444000490043565000490048465000430053365000260057670000210060270000310062320260818153704.0041018s1994    gw      r    0100|0 eng d  a3540581406  a.b104076862 aInternational Symposium on Logical Foundations of Computer Sciencen(3rd :d 1994 :dSt. Petersburg, Russia)10aLogical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /cA. Nerode and Yu. V. Matiyasevich (Eds.)  aBerlin :bSpringer-Verlag,c1994  a392 p. 0aLecture notes in computer science ;vno. 813 0aLogic, Symbolic and mathematicalxCongresses 0aElectronic data processingxCongresses 0aComputersxCongresses1 aNerode, A.,eed.1 aMatiyasevich, Yu. V.,eed.