Buscar
Mostrando ítems 1-1 de 1
Ponencia
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
(1987)
Nous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies dans le Calcul Propositionnel et dans trois types de logiques trivalentes. L’idée base est de ...