tableaux

There are 1 repository under tableaux topic.

• alexandrempierre / tableau

  Implementação do Tableux para Lógica Clássica de Primeira Ordem

  nltkfirst-order-logicpython3tableaux
  Language:Python 1

• billvanyo / folatp

  First-Order Logic Automated Theorem Prover using Tableaux Method

  atpclojuretableauxtheorem-provertheorem-proving
  Language:Clojure 0

• CatherineDALLEAU / jmdt

  Tableaux de Jean-Marc DALLEAU

  peinturetableauxevasionnaturesmortesanimaux
  0

• CronosC / FOL_Tableaux_Solver

  First-Order Tableaux Solver written in Elixir.

  elixirerlanglogictableaux
  Language:OpenEdge ABL 0

• dataesr / datasupr

  Remplacement de tableau

  tableaux
  Language:TypeScript

• FormationJAVA / ExerciceN2

  Exercices Niveau 2 JAVA

  bouclesclassesmethodesniveau2tableaux
  Language:Java

• hanzopgp / ALCTableauxProlog

  Solver using method of analytic tableaux of ALC logic in Prolog.

  alcartificial-intelligencelogicprologsolvertableauxuniversity
  Language:Prolog

• imanegannaoui / JavaScript_Exercices

  Exercices JavaScript

  javascriptarrayvariableobjectbouclefonctionstableauxdom

• MrEliptik / PredicateLogicTableaux

  A simple tool to represent predicate logic and assess formulas using tableaux method

  logicpython3tableauxpredicate-logic
  Language:Python