CSL '89
3rd Workshop on Computer Science Logic.Kaiserslautern, FRG, October 2-6,1989.Proceedings, Lecture Notes in Computer Science 440
Egon Börger/Hans Kleine Büning/Michael M Richter
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
This volume contains 28 papers on recent developments in concepts and methods of logic which are relevant for computer science.
Weitere Details
Erschienen: 10.07.1990
Umfang: viii, 444 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540527534
Umbreit-Nr.: 1432106
