STACS 93
Enjalbert, P.
STACS 93 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25-27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540475743
Computer science.; Logic design.; Computer software.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Arithmetic and Logic Structures.; Logic Design.
STACS 93 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25-27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540475743
Computer science.; Logic design.; Computer software.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Arithmetic and Logic Structures.; Logic Design.