Luke Ong
Luke Ong
4 ספרים במאגר
ספרים
Logic, Language, Information and ComputationLuke Ong
Logic, Language, Information and Computation
Luke Ong · 2012
Typed Lambda Calculi and ApplicationsLuke Ong
Typed Lambda Calculi and Applications
Luke Ong · 2011
Foundations of Software Science and Computational StructuresLuke Ong
Foundations of Software Science and Computational Structures
Luke Ong · 2010
Computer Science LogicLuke Ong
Computer Science Logic
Luke Ong · 2005
ספרים משותפים ואוספים
ספרים שבהם Luke Ong מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Formal Methods and Software EngineeringZhenhua Duan
Formal Methods and Software Engineering
Zhenhua Duan · 2017
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008Giorgio Ausiello
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Giorgio Ausiello · 2010