Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verifying that P is not equal to NP using a theorem prover
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Social Sciences, Department of Informatics and Media. (Andreas Hamfelt)
2012 (English)Report (Other academic)
Place, publisher, year, edition, pages
Uppsala: Uppsala University, Department of Informatics and media , 2012. , p. 36
Series
Research report / Uppsala University, Department of Information Science, ISSN 1403-7572 ; 2012:1
National Category
Engineering and Technology Natural Sciences
Research subject
Computing Science
Identifiers
URN: urn:nbn:se:uu:diva-187337OAI: oai:DiVA.org:uu-187337DiVA: diva2:574407
Available from: 2012-12-07 Created: 2012-12-05 Last updated: 2013-12-12Bibliographically approved

Open Access in DiVA

fulltext(1078 kB)345 downloads
File information
File name FULLTEXT01.pdfFile size 1078 kBChecksum SHA-512
b3bfd0eaa6d29311551920edfed8aa67055a3bbca23ae3e8fcd6109bb38fa1bbc2e00ddd3bfced9d59cbb1b204ad117e9351d520feac0c05b48fd75d4b361b97
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Tärnlund, Sten-Åke
By organisation
Department of Informatics and Media
Engineering and TechnologyNatural Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 345 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 1755 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf