A Portrait of the Scientist as a Computational Logician

Authors

A. Kakas, M. Bruynooghe, Luís Moniz Pereira, F. Sadri, J. Siekmann, M. van Emden,