Conference series Beta
International Workshops on First-Order Theorem Proving
FTP
- Events
- 1 (2008)
- Identifier
https://id.confref.org/series/s126ez3
Events (1)
20082008
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2008 | 9 | Symposium on Trends in Functional Programming TFP 2008 | Kingdom of the Netherlands | 2008-05-26/28 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| ConfIDent |
|---|
Cite
International Workshops on First-Order Theorem Proving. confref identifier s126ez3. https://id.confref.org/series/s126ez3
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.