TY - BOOK ID - 133995557 TI - Preuve : Du mot au concept PY - 2011 SN - 9782706116544 PB - Rennes : PUG, DB - UniCat KW - Evidence (Law) KW - Automatic theorem proving KW - Preuve (Droit) KW - Théorèmes KW - Démonstration automatique UR - https://www.unicat.be/uniCat?func=search&query=sysid:133995557 AB - ER -