Diese Seite auf DeutschCette page en françaisThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/wang-tc

Tie-Cheng Wang (wang-tc)

Contributi a Philosophie.ch

No contributions yet

Bibliography

    Wang, Tie-Cheng. 1995. “A Typed Resolution Principle for Deduction with Conditional Typing Theory.” Artificial Intelligence 75(2): 161–194.