FTP

From Openresearch
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 +