Key-title  

Archive of formal proofs

Identifiers
Resource information

Title proper: Archive of formal proofs

Country: United States

Medium: Online



Record information

Last modification date: 06/02/2021

Type of record: Confirmed

ISSN Center responsible of the record: ISSN National Centre for the USA

Links

URL: afp.sourceforge ... http://afp.sourceforge.net/index.shtml

Wikidata: www.wikidata.or ... http://www.wikidata.org/entity/Q108305552

FATCAT: fatcat.wiki/con ... https://fatcat.wiki/container/l5jqdwdi3rbdfahtnhk6sj4ehu

URL: afp.sourceforge ... http://afp.sourceforge.net/index.shtml

Wikidata: www.wikidata.or ... http://www.wikidata.org/entity/Q108305552

FATCAT: fatcat.wiki/con ... https://fatcat.wiki/container/l5jqdwdi3rbdfahtnhk6sj4ehu

Google: www.google.com/ ... https://www.google.com/search?q=ISSN+"2150-914X"

Bing: www.bing.com/se ... https://www.bing.com/search?q=ISSN+%222150-914X%22

Yahoo: search.yahoo.co ... https://search.yahoo.com/search?p=ISSN%20%222150-914X%22

.........