Semantic trees : new foundations for automatic theorem-proving ^{الإنجليزية} (Q4681986)

doctoral thesis ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Semantic trees : new foundations for automatic theorem-proving	doctoral thesis

بيانات

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

٠ مرجع

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

١ مراجع

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

Semantic trees : new foundations for automatic theorem-proving (الإنجليزية)

١ مراجع

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

Pat Hayes ^{الإنجليزية}

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

Patrick J. Hayes

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

1

١ مراجع

publication date ^{الإنجليزية}

1973^{http://data.marefa.org/entity/Q1985727}

١ مراجع