International Symposium on Frontiers of Combining Systems
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference
|
| gptkbp:abbreviation |
gptkb:FroCoS
|
| gptkbp:conference |
gptkb:IJCAR
gptkb:CADE gptkb:TABLEAUX |
| gptkbp:established |
1996
|
| gptkbp:field |
gptkb:logic
computer science automated reasoning |
| gptkbp:focus |
combination of formal systems
|
| gptkbp:frequency |
gptkb:biennial
|
| gptkbp:website |
https://frocos.org/
|
| gptkbp:bfsParent |
gptkb:FroCoS
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
International Symposium on Frontiers of Combining Systems
|