Similar to Information_Processing_Language

• 

  モステクノロジー

  MOS Technology
  
• 

  モデル検査

  Model checking
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  レコード管理サービス

  Record Management Services