Our planet's elliptical orbit around the Sun and its billions-of-yearsexistence are facts we take...

This book presents the classic relative consistency proofs in set theory that are obtained by the...

Wir betrachten hier jenen Teil der Grundlagenforschung, der die 'intui tive' oder 'inhaltliche' M...

This book constitutes the refereed proceedings of the 7th International Conference on Reversible ...

Second Generation Expert Systems have been a very activefield of researchduring the last years. M...