Computer modeling of scientific reasoning

TitleDirect dynamic proofs for compatibility.
Publication TypeBook Chapter (with title)
AuthorsProvijn, D
Secondary AuthorsDelrieux, C, Legris, J