Computer Science Logic
Börger, Egon.
Computer Science Logic 5th Workshop, CSL '91 Berne, Switzerland, October 7-11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540472858
Computer science.; Computer software.; Logic design.; Algebra; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.; Symbolic and Algebraic Manipulation.; Artificial Intelligence (incl. Robotics).
Computer Science Logic 5th Workshop, CSL '91 Berne, Switzerland, October 7-11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540472858
Computer science.; Computer software.; Logic design.; Algebra; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.; Symbolic and Algebraic Manipulation.; Artificial Intelligence (incl. Robotics).