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 biennial
https://www.w3.org/2000/01/rdf-schema#label International Symposium on Frontiers of Combining Systems
gptkbp:website https://frocos.org/
gptkbp:bfsParent gptkb:FroCoS
gptkbp:bfsLayer 7