Proceedings of the 3rd workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2005), Edinburgh, UK, July12, 2005 (Q368046)

From MaRDI portal





scientific article; zbMATH DE number 6208790
Language Label Description Also known as
default for all languages
No label defined
    English
    Proceedings of the 3rd workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2005), Edinburgh, UK, July12, 2005
    scientific article; zbMATH DE number 6208790

      Statements

      Proceedings of the 3rd workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2005), Edinburgh, UK, July12, 2005 (English)
      0 references
      17 September 2013
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references