Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference
|
| gptkbp:abbreviation |
gptkb:IJCAR
|
| gptkbp:acceptsSubmissions |
case studies
original research papers system descriptions tool papers |
| gptkbp:field |
computer science
automated reasoning |
| gptkbp:firstHeld |
2001
|
| gptkbp:focusesOn |
formal methods
theorem proving logic in computer science theory and applications of automated reasoning |
| gptkbp:formedByMergerOf |
gptkb:CADE
gptkb:FroCoS gptkb:TABLEAUX TABELLE |
| gptkbp:frequency |
gptkb:biennial
|
| gptkbp:fullName |
gptkb:International_Joint_Conference_on_Automated_Reasoning
|
| gptkbp:languageOfName |
gptkb:Springer
|
| gptkbp:organizes |
workshops
tutorials research paper presentations |
| gptkbp:proceedingsSeries |
gptkb:Lecture_Notes_in_Artificial_Intelligence
|
| gptkbp:website |
https://ijcar.org/
|
| gptkbp:bfsParent |
gptkb:FroCoS_conference
gptkb:TABLEAUX_conference |
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
IJCAR conference
|