Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Clote, Peter G. Heftet / 2000 / Engelsk
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification Mainzer Klaus Innbundet / 2021 / Engelsk
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Mainzer Klaus Innbundet / 2018 / Engelsk
