Algorithmic logic

著者

• Mirkowska, Grażyna
• Salwicki, Andrzej

書誌事項

Algorithmic logic

G. Mirkowska and A. Salwicki

D. Reidel , PWN-Polish Scientific, c1987

注記

Bibliography: p. [356]-368

Includes index

詳細情報

• NII書誌ID(NCID): BA01432117
• ISBN:
  • 9027719284
• LCCN: 85002201
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Tokyo,Warszawa
• ページ数/冊数: xi, 372 p.
• 大きさ: 23 cm.
• 分類:
  • LCC : QA267.3
  • DC19 : 511.3
• 件名:
  • LCSH : Formal languages
  • LCSH : Algorithms
  • LCSH : Logic, Symbolic and mathematical