International Joint Conference on Automated Reasoning (Q6051264)
Jump to navigation
Jump to search
conference series on automated reasoning
- IJCAR
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | International Joint Conference on Automated Reasoning |
conference series on automated reasoning |
|
Statements
IJCAR (English)
0 references