IJCAR
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

International Joint Conference on Automated Reasoning (IJCAR)

(brand of TEST)

1 × Australia
1 × Austria
1 × Ireland
1 × Italy
1 × USA
2 × United Kingdom
74 ×#logic
54 ×#proving
38 ×#named
34 ×#automation
20 ×#theorem proving
17 ×#higher-order
16 ×#calculus
16 ×#reasoning
15 ×#satisfiability
13 ×#linear
Vocabulary: 767 words

Event series page: http://www.ijcar.org

403 papers in 9 issues:

2018
IJCARProceedings of the Ninth International Joint Conference on Automated Reasoning (IJCAR 2018)
2016
IJCARProceedings of the Eighth International Joint Conference on Automated Reasoning (IJCAR 2016)
2014
IJCARProceedings of the Seventh International Joint Conference on Automated Reasoning (IJCAR 2014)
2012
IJCARProceedings of the Sixth International Joint Conference on Automated Reasoning (IJCAR 2012)
2010
IJCARProceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)
2008
IJCARProceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008)
2006
IJCARProceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)
2004
IJCARProceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
2001
IJCARProceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001)
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.