@unpublished{dowek:hal-04051523, TITLE = {{On the truth judgments in informatics}}, AUTHOR = {Dowek, Gilles}, URL = {https://inria.hal.science/hal-04051523}, NOTE = {working paper or preprint}, YEAR = {2015}, PDF = {https://inria.hal.science/hal-04051523/file/truth.pdf}, HAL_ID = {hal-04051523}, HAL_VERSION = {v1}, }