000 00959nam a2200157Ia 4500
008 140211s9999 xx 000 0 und d
020 _a9783540481904
100 _aCori, Robert.
245 _aSTACS 88
245 _b5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings /
245 _cedited by Robert Cori, Martin Wirsing.
300 _aOn-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
650 _aComputer science.; Microprogramming.; Computer software.; Logic design.; Algebra; Combinatorics.; Computer Science.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Combinatorics.; Control Structures and Microprogramming.; Symbolic and Algebraic Manipulation.
856 4 1 _3Click her to access the e-Book
_uhttp://dx.doi.org/10.1007/BFb0035825
942 _cEB
999 _c114461
_d114461