(Q6051264)

English

International Joint Conference on Automated Reasoning

conference series on automated reasoning

IJCAR

In more languages

Statements

scientific conference series

0 references

IJCAR (English)

0 references

automated reasoning

0 references

automated theorem proving

0 references

official website

http://ijcar.org/

language of work or name

0 references

https://link.springer.com/conference/ijcar

0 references

partially coincident with

Conference on Automated Deduction

0 references

Identifiers

0 references

WikiCFP conference series ID

0 references

Sitelinks

Wikipedia(1 entry)

enwiki International Joint Conference on Automated Reasoning

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q6051264&oldid=1338327795"