All ebooks by Jörg H. Siekmann in PDF

Computational Logic

Dov M. Gabbay , Jörg H. Siekmann , John Woods

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic...