FTP
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 acronym | FTP + |
Has CORE Rank | B + |
IsA | EventSeries + |
Title | International Workshops on First-Order Theorem Proving + |