01672cam a2200433Ki 4500 ocn898070506 OCoLC 20190328114809.0 m o d cr cnu---unuuu 141212s2014 enk o 000 0 eng d N$T eng rda pn N$T UIU YDXCP OPELS IDEBK EBLCP CDX OCLCF DEBSZ OCLCQ U3W D6H 898327134 899566662 9780080930671 (electronic bk.) 0080930670 (electronic bk.) 1322477175 (ebk) 9781322477176 (ebk) 0444516247 9780444516244 (OCoLC)898070506 (OCoLC)898327134 (OCoLC)899566662 QA76.9.L63 COM 000000 bisacsh 006.3 23 Computational logic / [electronic resource] volume editor, Dov M. Gabbay, J�org H. Siekmann, John Woods. Kidlington : Elsevier, 2014. 1 online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier Handbook of the history of logic ; 9 Print version record. Computer logic. COMPUTERS General. bisacsh Computer logic. fast (OCoLC)fst00872265 Electronic books. Print version: Computational logic. Gabbay, Dov M. Gabbay, J�org H. Siekmann, John Woods 0444516247 (OCoLC)897091915 ScienceDirect http://www.sciencedirect.com/science/book/9780444516244 ScienceDirect http://www.sciencedirect.com/science/handbooks/18745857/9 247025 247025