文献
J-GLOBAL ID:201102218323868005   整理番号:11A1427749

一般化量子の最弱前提条件

Generalised quantum weakest preconditions
著者 (2件):
資料名:
巻:号:ページ: 441-449  発行年: 2010年08月 
JST資料番号: A1088A  ISSN: 1570-0755  資料種別: 逐次刊行物 (A)
発行国: アメリカ合衆国 (USA)  言語: 英語 (EN)
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る