On the axiomatization of "if-then-else"

著者

• Guessarian, Irène
• Meseguer, José

書誌事項

On the axiomatization of "if-then-else"

by Irène Guessarian and José Meseguer

（Report (Center for the Study of Language and Information (U.S.)), Report No. CSLI-18-20）

Center for the Study of Language and Information, c1985

注記

"October 1985"

Includes bibliographivcal references

詳細情報

• NII書誌ID(NCID): BA24807842
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, CA
• ページ数/冊数: 38 p.
• 件名:
  • LCSH : Artificial intelligence
  • LCSH : Linguistic analysis (Linguistics)
  • LCSH : Systemic grammar
  • LCSH : If-then-else (Computer statement)
• 親書誌ID:
  • BA10949995