Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected - detaljert visning

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers


Utgitt	Berlin : Springer , c1995
Omfang	IX, 541 s. : ill.
Emner	Matematisk logikk - Databehandling kompleksitetsteori informatikk databehandling matematisk logikk
ISBN	3540600175