Shortcuts
SISSA Library . Default .
PageMenu- Home-
Page content

Ricerca Risultati

La tua ricerca per Autore Comb.=KAMAREDDINE FAIROUZ restituito 2 Documenti

SELEZIONARE IL TITOLO PER INFORMAZIONI SULLA DISPONIBILITA'
Display results in table format.

-


- A Modern Perspective on Type Theory: From its Origins until Today Kamareddine, Fairouz A Modern Perspective on Type Theory: From its Origins until TodayOnline Resource : Springer 1 -
Titolo: A Modern Perspective on Type Theory: From its Origins until Today
Autore: Kamareddine, Fairouz
Anno: 2005
- Thirty Five Years of Automating Mathematics Thirty Five Years of Automating MathematicsOnline resource: Springer 2 -
Titolo: Thirty Five Years of Automating Mathematics
Autore:
Anno: 2003


-


Quick Search