Ong, Luke

ID:DA15476059

同姓同名の著者を検索

検索結果4件中 1-4 を表示

1

Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday

Bob Coecke, Luke Ong, Prakash Panangaden (eds.)

Springer c2013 Lecture notes in computer science 7860 . Lecture notes in artificial intelligence

所蔵館4館
2

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 2011, proceedings

Luke Ong (ed.)

Springer c2011 Lecture notes in computer science 6690 . Advanced Research in Computing and Software Science

所蔵館1館
3

Foundations of software science and computational structures : 13th International Conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 proceedings

Luke Ong (ed.)

Springer, c2010 Lecture notes in computer science 6014 . Advanced research in computing and software science

所蔵館1館
4

Computer science logic : 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Luke Ong (ed.)

Springer c2005 Lecture notes in computer science 3634

所蔵館16館

この著者を外部サイトでさがす

関連著者

ページトップへ