Stepan Bashmakov

ORCID iD
https://orcid.org/0000-0002-3354-0383
  • Also known as
  • Show details Hide details
Степан Игоревич Башмаков

Sources:
Stepan Bashmakov (2017-12-06)

  • Country
  • Show details Hide details
Russia

Sources:
Stepan Bashmakov (2017-12-06)

  • Keywords
  • Show details Hide details
modal logic,

Sources:
Stepan Bashmakov (2017-06-16)

unification,

Sources:
Stepan Bashmakov (2017-06-16)

temporal logic,

Sources:
Stepan Bashmakov (2017-06-16)

intuinistic logic,

Sources:
Stepan Bashmakov (2017-06-16)

projective formulas

Sources:
Stepan Bashmakov (2017-06-16)

  • Websites
  • Show details Hide details
Department of Math & CS, SibFU

Sources:
Stepan Bashmakov (2017-06-16)

Math-Net

Sources:
Stepan Bashmakov (2017-06-16)

Google Scholar

Sources:
Stepan Bashmakov (2017-06-16)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 57189623547

Sources:
Scopus - Elsevier (2017-06-16)

ResearcherID: K-7178-2017

Sources:
ResearcherID (2017-06-28)

Record last modified {{lastModifiedDate}}