000 00751nam a2200157Ia 4500
008 140211s9999 xx 000 0 und d
020 _a9783540385615
100 _aDeussen, Peter.
245 _aTheoretical Computer Science
245 _b5th GI-Conference Karlsruhe, March 23-25, 1981 /
245 _cedited by Peter Deussen.
300 _aOn-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
650 _aComputer science.; Computer software.; Logic design.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.
856 4 1 _3Click her to access the e-Book
_uhttp://dx.doi.org/10.1007/BFb0017288
942 _cEB
999 _c112614
_d112614