• RecordNumber
    1808
  • Title

    Finite model theory and its applications

  • Author Statement
    Erich Gradel ... [et al.].
  • Publication
    Springer
  • Publication Year
    c2007
  • Collation
    xi, 437 p. ill.
  • Series
    Texts in theoretical computer science
  • Notes
    Includes bibliographical references and index
  • Subject

    Finite model theory. , Computational complexity. , Constraint databases.

  • ADDED ENTRIES
    Gradel, Erich,
  • Main class
    511.
  • Sub class
    34
  • Cutter no
    F498
  • ISBN
    978-3-540-00428-8
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=1808&Field=0&DTC=14