Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science

Publisher: Edp Sciences

E-ISSN: 2261-236x|210|issue|04007-04007

ISSN: 2261-236x

Source: MATEC Web of conference, Vol.210, Iss.issue, 2018-10, pp. : 04007-04007

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract