Jump to main content

yr 〜
yr

Search results 3

Intelligent computer mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proccedings

Intelligent computer mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proccedings
Paper図書
Fairouz Kamareddine, Claudio Sacerdoti Coen (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingCICM (Conference) Kamareddine, Fairouz Sacerdoti Coen, Claudio

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

A modern perspective on type theory : from its origins until today
Paper図書
by Fairouz Kamareddine, Twan Laan and Rob NederpeltKluwer Academicc2004
Other Libraries in Japan
  • Author HeadingKamareddine, Fairouz Laan, Twan Nederpelt, R. P. (...

Thirty five years of automating mathematics

Thirty five years of automating mathematics
Paper図書
edited by Fairouz D. KamareddineKluwer Academicc2003
Other Libraries in Japan
  • Author HeadingKamareddine, Fairouz Bruijn, N. G. de (Nicolaas Go...

Reached to the end of result.

RSS