Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory

von Stevens, Lukas
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Curriculum schoolrijpheid : = Curriculum schoolreadiness

von Stevens, Lucas Maria
Veröffentlicht 1975

Curriculum schoolrijpheid deel 3 : Een evaluatie-onderzoek : an evaluation study = Curriculum schoolreadiness part III

von Stevens, Lucas Maria
Veröffentlicht 1975

Curriculum schoolrijpheid deel 3 : een evaluatie-onderzoek = Curriculum schoolreadiness part 3

von Stevens, Lucas Maria
Veröffentlicht 1975

A Verified Decision Procedure for Orders in Isabelle/HOL.

von Stevens, Lukas
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)