Die Grundlagen der Modellierung beherrschen!Die Modellierung ist eine typische Arbeitsmethode in ...

This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The pa...

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the ...

This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa,...

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

This volume contains the papers which were presented at the second workshop 'Computer Science Log...

Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl­ reiche Anwendu...

This volume contains the papers presented at the 11th International Conference on Theory and Appl...

This volume contains the papers which were presented to the workshop 'Computer-Science Logic' hel...