Logic for applications

Nerode, Anil

Logic for applications by Anil Nerode and Richard A. Shore - 2nd ed. - New York Springer Verlag 1997 - xiii, 456p. - Graduate texts in computer science .

0387948937

005.1015113 / N97

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha