Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, J - detaljert visning

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

A. Nerode, M. Taitslin (eds.)
Bok Engelsk 1992


Utgitt	Berlin : Springer-Verlag , c1992
Omfang	IX, 514 s.
Emner	Computers - Congresses Electronic data processing - Congresses Logic, Symbolic and mathematical - Congresses Databehandling - Matematiske modeller Vis mer... Logikkprogrammering edb logikk
ISBN	0387557075. - 3540557075