Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for Combined Author=KAMAREDDINE FAIROUZ returned 2 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Thirty Five Years of Automating Mathematics Thirty Five Years of Automating Mathematics [Ebook]
Series:Applied Logic Series,Volume:28
 		  2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
2 A Modern Perspective on Type Theory: From its Origins until Today A Modern Perspective on Type Theory: From its Origins until Today [Ebook]
Series:Applied Logic SeriesVolume:29
 		Kamareddine, Fairouz 2005 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search