Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science, 2605, Band 2605)
Ein Festschriftenband, der Jörg H. Siekmanns Arbeit zur automatisierten Beweistechnik feiert; umfasst Essays zu logischen Modellen, theorem proving und deren Einsatz in Informatik sowie angewandter Mathematik.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE 
