Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, R - detaljert visning

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

LFCS '94
Bok Engelsk 1994


Utgitt	Berlin : Springer-Verlag , c1994
Omfang	IX, 392 s. : fig.
Emner	Computer science - Congresses Logic, Symbolic and mathematical - Congresses Databehandling - Matematiske modeller Logikkprogrammering teoretisk informatikk logikk
ISBN	0387581405. - 3540581405