Roman Matuszewski

ORCID iD
https://orcid.org/0000-0003-2470-8946
  • Country
  • Show details Hide details
Poland

Sources:
Roman Matuszewski (2018-10-10)

  • Keywords
  • Show details Hide details
computer science, computer-checked mathematics, formalized mathematics

Sources:
Roman Matuszewski (2018-10-10)

  • Websites
  • Show details Hide details
home page

Sources:
Roman Matuszewski (2018-10-10)

Record last modified {{lastModifiedDate}}