00478nam a2200181Ia 4500 SGT 9788120329683 4.01 MIS Mishra,K.L.P. Theory of Computer Science 3rd . . Ed. PHI Learning Private Limited New Delhi 2007 422p. COMPUTER SCIENCE PROPOSITIONS AND PREDICATES, MATHEMATICAL PRELIMINARIES Chandrasekaran,N ddc BK 64 0 0 ddc 0 0 FE FE 2010-06-24 SGTU 0 4.01 MIS FE3399 2015-02-09 00:00:00 2015-02-09 BK 0 0 ddc 0 0 FE FE 2010-06-24 SGTU 12 1 4.01 MIS FE3400 2026-05-09 00:00:00 2026-04-27 2015-02-09 BK 0 0 ddc 0 0 FE FE 2010-06-24 SGTU 4 4.01 MIS FE3401 2021-10-25 00:00:00 2021-10-13 2015-02-09 BK 0 0 ddc 0 0 FE FE 2010-06-24 SGTU 1 4.01 MIS FE3402 2017-09-14 00:00:00 2017-08-03 2015-02-09 BK 0 0 ddc 0 0 FE FE 2010-06-24 SGTU 0 4.01 MIS FE3403 2015-02-09 00:00:00 2015-02-09 BK 0 0 ddc 0 0 FE FE 2011-09-24 SGTU 9 3 4.01 MIS FE4004 2021-12-07 2021-11-09 00:00:00 2021-11-09 2015-02-09 BK 0 0 ddc 0 0 FE FE 2011-09-24 SGTU 7 2 4.01 MIS FE4005 2021-11-17 00:00:00 2021-11-12 2015-02-09 BK 0 0 ddc 0 0 FE FE 2011-09-24 SGTU 13 4.01 MIS FE4006 2025-09-17 00:00:00 2025-08-30 2015-02-09 BK 0 0 ddc 0 0 FE FE 2011-09-24 SGTU 3 4.01 MIS FE4007 2020-03-13 00:00:00 2020-03-13 2015-02-09 BK 0 0 ddc 0 0 FE FE 2011-09-24 SGTU 5 4.01 MIS FE4008 2026-01-08 00:00:00 2026-01-08 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 8 2 4.01 MIS FEBB3920 2019-05-16 00:00:00 2019-04-24 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 1 4.01 MIS FEBB3921 2018-05-14 00:00:00 2018-01-18 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 3 4.01 MIS FEBB3922 2019-05-16 00:00:00 2019-04-29 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 10 3 4.01 MIS FEBB3923 2022-07-04 00:00:00 2022-05-17 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 16 3 4.01 MIS FEBB3924 2022-12-24 00:00:00 2022-12-15 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 13 1 4.01 MIS FEBB3925 2021-12-11 00:00:00 2021-11-10 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 0 4.01 MIS FEBB3926 2015-02-09 00:00:00 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 6 1 4.01 MIS FEBB3927 2019-05-16 00:00:00 2019-04-22 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 1 4.01 MIS FEBB3928 2018-05-14 00:00:00 2018-01-18 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 8 1 4.01 MIS FEBB3929 2022-02-19 00:00:00 2022-02-17 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 2 4.01 MIS FEBB3930 2021-11-22 00:00:00 2021-11-09 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 9 1 4.01 MIS FEBB3931 2022-02-19 00:00:00 2022-02-15 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 3 1 4.01 MIS FEBB3932 2022-02-19 00:00:00 2022-02-17 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 10 1 4.01 MIS FEBB3933 2024-02-26 00:00:00 2024-02-26 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 6 1 4.01 MIS FEBB3934 2019-12-02 00:00:00 2019-11-29 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 4 4.01 MIS FEBB3935 2018-05-14 00:00:00 2018-01-29 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 2 4.01 MIS FEBB3936 2019-05-16 00:00:00 2019-05-15 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 11 4.01 MIS FEBB3937 2022-02-19 00:00:00 2022-02-11 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 13 1 4.01 MIS FEBB3938 2019-12-04 00:00:00 2019-11-22 2015-02-09 BK 0 0 ddc 0 0 FE FE 2012-05-22 SGTU 11 3 4.01 MIS FEBB3939 2019-09-26 00:00:00 2019-09-21 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 11 2 4.01 MIS FEBB6743 2026-02-03 00:00:00 2026-01-08 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 13 2 4.01 MIS FEBB6744 2022-02-22 00:00:00 2022-02-11 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 16 1 4.01 MIS FEBB6745 2026-02-16 00:00:00 2026-02-06 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 6 4.01 MIS FEBB6746 2021-09-30 00:00:00 2021-09-28 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 6 2 4.01 MIS FEBB6747 2022-02-26 00:00:00 2022-02-12 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 4 4.01 MIS FEBB6748 2019-05-23 00:00:00 2019-05-14 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 12 2 4.01 MIS FEBB6749 2021-12-08 00:00:00 2021-11-22 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 13 2 4.01 MIS FEBB6750 2022-02-26 00:00:00 2022-02-12 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 12 4 4.01 MIS FEBB6751 2024-02-26 00:00:00 2024-02-26 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 3 4.01 MIS FEBB6752 2019-05-16 00:00:00 2019-05-14 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 17 7 4.01 MIS FEBB6753 2021-01-19 00:00:00 2020-03-13 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 4 4.01 MIS FEBB6754 2026-01-20 00:00:00 2026-01-20 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 5 4.01 MIS FEBB6755 2019-04-05 00:00:00 2019-03-12 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 15 1 4.01 MIS FEBB6756 2025-01-25 00:00:00 2025-01-25 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 4 4.01 MIS FEBB6757 2021-11-02 00:00:00 2021-10-19 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 6 1 4.01 MIS FEBB6758 2019-05-16 00:00:00 2019-04-26 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 6 3 4.01 MIS FEBB6759 2022-02-19 00:00:00 2022-02-12 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 2 4.01 MIS FEBB6760 2022-02-22 00:00:00 2022-02-17 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 10 3 4.01 MIS FEBB6761 2022-02-22 00:00:00 2022-02-12 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 2 4 4.01 MIS FEBB6762 2019-11-18 00:00:00 2017-11-24 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 10 5 4.01 MIS FEBB6763 2019-05-16 00:00:00 2019-04-23 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 18 3 4.01 MIS FEBB6764 2023-10-08 2023-08-09 00:00:00 2023-08-09 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 9 2 4.01 MIS FEBB6765 2022-02-22 00:00:00 2021-12-30 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 7 4.01 MIS FEBB6766 2022-02-22 00:00:00 2021-12-23 2015-02-09 BK 0 0 ddc 0 0 FE FE 2013-09-03 SGTU 11 2 4.01 MIS FEBB6767 2019-05-16 00:00:00 2019-05-03 2015-02-09 BK 5225 5225