FTP

From Openresearch
Revision as of 00:24, 18 March 2020 by Soeren (talk | contribs) (CSV import CORE B)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
FTP
International Workshops on First-Order Theorem Proving
CORE Rank (2018): B
Table of Contents

Events

The following events of the series FTP are currently known in this wiki:

Number of Submitted and Accepted Papers (Main Track)

Acceptance Rate

Locations



Facts about "FTP"
EventSeries acronymFTP +
Has CORE RankB +
IsAEventSeries +
TitleInternational Workshops on First-Order Theorem Proving +