This volume contains 28 papers on recent developments in concepts and methods of logic which are relevant for computer science.
Egon Börger
Komplexität Künstliche Intelligenz Logik Sprachen artificial intelligence complexity computer science languages logic programming