Publications
Export 2 results:
Author Title [ Type] Year Filters: First Letter Of Title is D and Author is Provijn, Dagmar [Clear All Filters]
“Direct Dynamic Proofs For Compatibility.” . Computer modeling of scientific reasoning: 179–187.
. 2003. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004.