ISSN Record 2150-914X

loading icon Looking for matching records…
Displaying basic data
Get an ISSN Portal subscription to access more data and features
Talk to Sales
Confirmed record

Key title: Archive of formal proofs

Identifiers

ISSN:
2150-914X
ISSN-L:
2150-914X

Titles

Title proper:
Archive of formal proofs

Publication

Medium:
Online
Country:
UNITED STATES

Online

Search in

Record

Last modified:
2021/02/06
ISSN Center responsible for the record:
United States