[B! programming language][tutorial][logic] kgbuのブックマーク

kgbu id:kgbu

programming languageとtutorialとlogicに関するkgbuのブックマーク (1)

Coq in a Hurry
MARELLE - Mathematical, Reasoning and Software (2004 route des lucioles 06902 Sophia Antipolis - France) 3208CRISAM - Centre Inria d'Université Côte d'Azur (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France) 34586Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) 300009
kgbu 2009/02/09
証明支援支援システム Coqの"a quick introduction and show how it can be used to define logical concepts and functions and reason about themだそうです。

証明

tool

software

programming language

tutorial

logic
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx