Semantics in a Frege structure

von Kamareddine, Fairouz D.
Veröffentlicht 1988

Thirty five years of automating mathematics

Veröffentlicht 2003

Thirty five years of automating mathematics

Veröffentlicht 2003

A Novel Phonetic Algorithm for Predicting Chinese Names using Chinese PinYin

von Zhao, Hua
Veröffentlicht in MLDM (Veranstaltung : 15. : 2019 : New York, NY) 15th International Conference Machine Learning and Data Mining in Pattern Recognition ; Volume 1 of 2 (2020)

A modern perspective on type theory : from its origins until today

von Dib Kamareddine, Fairouz
Veröffentlicht 2004

Adding an Abstraction Barrier to ZF Set Theory

von Dunne, Ciarán
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Generating Custom Set Theories with Non-set Structured Objects

von Dunne, Ciaran
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, proceedings

Veröffentlicht 2021

Intelligent technologies and applications : First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018 : revised selected papers

Veröffentlicht 2019

Applied logic: how, what and why : logical approaches to natural language

Veröffentlicht 1995