その他の書誌記述: Handbook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. [electronic resource] / Volume 5, Logic and algebraic methods

Summary goes here

保存先:

書誌詳細
フォーマット:	図書
言語:	英語
主題:	Computer science. Logic, Symbolic and mathematical. Informatique. Logique symbolique et mathématique. Ciencia da computacao ou informatica. Logica e semantica de programacao. Programming. Electronic books.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!