Computational logic text Electronic books. enk 2014 monographic eng
electronic resource
1 online resource. volume editor, Dov M. Gabbay, J�org H. Siekmann, John Woods. Computer logic COMPUTERS General Computer logic QA76.9.L63 006.3 Handbook of the history of logic ; 9 Computational logic. Gabbay, Dov M. Gabbay, J�org H. Siekmann, John Woods (OCoLC)897091915 9780080930671 0080930670 1322477175 9781322477176 http://www.sciencedirect.com/science/book/9780444516244 http://www.sciencedirect.com/science/handbooks/18745857/9 http://www.sciencedirect.com/science/book/9780444516244 http://www.sciencedirect.com/science/handbooks/18745857/9 N$T 141212 20190328114809.0 ocn898070506 eng