Beschreibung
This volume contains 28 papers on recent developments in concepts and methods of logic which are relevant for computer science.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com




































































































