(Q1351555)

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

instance of ^{الإنجليزية}

scientific conference series ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

URL ^{الإنجليزية}

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

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

main subject ^{الإنجليزية}

automated theorem proving ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

short name ^{الإنجليزية}

CADE (الإنجليزية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

partially coincident with ^{الإنجليزية}

International Joint Conference on Automated Reasoning ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

title ^{الإنجليزية}

Conference on Automated Deduction (الإنجليزية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

VIAF ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

GND ID ^{الإنجليزية}

subject named as ^{الإنجليزية}

Conference on Automated Deduction

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(١ وصلة واحدة)

enwiki Conference on Automated Deduction

مجلوبة من «https://data.marefa.org/w/index.php?title=Q1351555&oldid=11051278»