Author(s)

Journal

  • Decision Procedures : An Algorithmic Point of View

    Decision Procedures : An Algorithmic Point of View, 2008

    Springer Publishing Company

Cited by:  1

Codes

  • NII Article ID (NAID)
    10026562872
  • Article Type
    Whole of a Book
  • Data Source
    CJPref 
Page Top