Computer Science Logic
Pacholski, Leszek.
Computer Science Logic 8th Workshop, CSL '94 Kazimierz, Poland, September 25-30, 1994 Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540494041
Computer science.; Logic design.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Computation by Abstract Devices.; Mathematical Logic and Foundations.
Computer Science Logic 8th Workshop, CSL '94 Kazimierz, Poland, September 25-30, 1994 Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540494041
Computer science.; Logic design.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Computation by Abstract Devices.; Mathematical Logic and Foundations.