lot lot

モーダルロジックのためのTableau定理証明書
今すぐダウンロード

lot lot ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • Freeware
  • 出版社名:
  • Bilal Said
  • 出版社のWebサイト:
  • http://www.irit.fr/
  • オペレーティングシステム:
  • Mac OS X
  • ファイルサイズ:
  • 1 KB

lot lot タグ


lot lot 説明

LotRecは、モーダルロジックのための一般的なTableau Theorem Proverとして使用できる使いやすく、便利なアプリケーションです。新しいTableauメソッドの実装を分析、テスト、作成するために使用できます。 LotRecはJavaプログラミング言語で書かれており、Mac OS X、Windows、およびLinuxで実行できます。


lot lot 関連ソフトウェア

私たちに関しては