その他の書誌記述: From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Summary goes here

保存先:

書誌詳細
フォーマット:	図書
言語:	英語
主題:	Automatic theorem proving. Computer algorithms. Logic programming. Algorithms Théorèmes Algorithmes. Programmation logique. algorithms. Automatic theorem proving Computer algorithms Logic programming Formale Semantik Logischer Entwurf Programmierlogik Automatisches Beweisverfahren Logisch programmeren. Algorithms. Logic design. Structure logique.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
要約:	Summary goes here
記述事項:	General Notes
物理的記述:	1 online resource (iv, 125 pages) :illustrations
ISBN:	9783540478119 3540478116 3540182179 9783540182177