Peter H. Schmitt profile picture

Peter H. Schmitt

Is this your author profile? Create an account to customize it!

Stand Alone

Theorie der logischen Programmierung
Nonmonotonic And Inductive Logic: 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino