IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

API standards et tierces Java Discussion :

logique modale en java


Sujet :

API standards et tierces Java

  1. #1
    Membre Expert

    Profil pro
    imposteur
    Inscrit en
    Avril 2003
    Messages
    3 308
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations professionnelles :
    Activité : imposteur

    Informations forums :
    Inscription : Avril 2003
    Messages : 3 308
    Par défaut logique modale en java
    Bonjour

    Désolé si je ne suis pas sur le bon sous-forum, mais je ne sais pas trop où je devrais poster ça...

    Est-ce que quelqu'un a déjà fait de la logique modale en java ? Est-ce que quelqu'un connait une classe, un package, une API quelconque pour faire de la logique modale en java ?

    Merci de ne pas me renvoyer vers Prolog

    Merci d'avance

  2. #2
    Membre émérite Avatar de g_rare
    Profil pro
    Inscrit en
    Novembre 2005
    Messages
    608
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Novembre 2005
    Messages : 608
    Par défaut
    Citation Envoyé par http://en.wikipedia.org/wiki/Modal_logic#External_links
    Molle a Java prover for experimenting with modal logics

Discussions similaires

  1. Réponses: 0
    Dernier message: 20/03/2010, 22h29
  2. Réponses: 12
    Dernier message: 07/03/2009, 22h28
  3. Fenetre modale en Java pour l' authentification
    Par mario002e dans le forum AWT/Swing
    Réponses: 17
    Dernier message: 06/02/2009, 14h20
  4. Fenetres modales en java
    Par kam81 dans le forum AWT/Swing
    Réponses: 1
    Dernier message: 29/12/2007, 11h17
  5. [Débutant] et logique en JAVA
    Par jacques70 dans le forum Langage
    Réponses: 2
    Dernier message: 12/06/2006, 13h45

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo