* Algorithme pour la logique en Caml-Light.
@ 1995-08-02 13:05 Christophe Raffalli
0 siblings, 0 replies; only message in thread
From: Christophe Raffalli @ 1995-08-02 13:05 UTC (permalink / raw)
To: caml-list
Bonjour a tous,
J'ai plusieurs exemples de programmes qui pourraient interesser certains ...
Il s'agit d'une implementation commentee (les commentaires sont en francais et
lisible sous forme de fichier DVI) d'algorithmes utilises en logique:
- procedures de decision pour le calcul propositionnel,
- algorithmes d'unification (dont un lineaire)
- un petit demonstrateur de theoremes pour le calcul des predicats du
premier ordre.
Adresse URL:
http://boole.logique.jussieu.fr/www.raffalli/findex.html#examples
--
Christophe Raffalli
Chalmers University / Logic team of Paris VII
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1995-08-28 11:44 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1995-08-02 13:05 Algorithme pour la logique en Caml-Light Christophe Raffalli
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox