Articles liés à CSL '89: 3rd Workshop on Computer Science Logic....

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings - Couverture souple

B??ning, Hans Kleine; B??rger, Egon; Richter, Michael M.

 
9783540527534: CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Synopsis

This volume contains 28 papers on recent developments in concepts and methods of logic which are relevant for computer science.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.