年 〜
年

検索結果 15 件

Dependence logic : theory and applications

Dependence logic : theory and applications
紙図書
Samson Abramsky ... [et al.], editorsBirkhäuserc2016
全国の図書館
  • 著者標目Abramsky, Samson Kontinen, Juha Väänänen, J. (...

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

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.)Springerc2013
全国の図書館
  • 著者標目Coecke, Bob Ong, Luke Panangaden, Prakash Abramsky, Samson

Mathematical foundations of information flow : Clifford lectures information flow in physics, geometry, logic and computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana

Mathematical foundations of information flow : Clifford lectures information flow in physics, geometry, logic and computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana
紙図書
Samson Abramsky, Michael Mislove, editorsAmerican Mathematical Societyc2012
全国の図書館
  • 著者標目...d Hoblitzelle) Abramsky, Samson Mislove, Michael W. Tulane Un...

Automata, languages and programming : 37th International Colloquium, ICALP 2010 Bordeaux, France, July 6-10, 2010 : proceedings pt. 1 pt. 2

Automata, languages and programming : 37th International Colloquium, ICALP 2010 Bordeaux, France, July 6-10, 2010 : proceedings pt. 1 pt. 2
紙図書
Samson Abramsky ... [et al.] (eds.)Springerc2010
全国の図書館
  • 著者標目International Colloquium on Automata, Languages and Programming Abramsky, Samson

Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
紙図書
Samson Abramsky (ed.)Springer-Verlagc2001
全国の図書館
  • 著者標目International Conference on Typed Lambda Calculi and Applications Abramsky, Samson

Automata, languages and programming : 37th international colloquium, ICALP 2010 : Bordeaux, France, July 6-10, 2010 : proceedings. : annual conference of the European Association for Theoretical Computer Science (EATCS) : Jul 2010, Bordeaux, France. (Lecture Notes in Computer Science ; 6198-6199. Advanced Research in Computing and Software Science)

Automata, languages and programming : 37th international colloquium, ICALP 2010 : Bordeaux, France, July 6-10, 2010 : proceedings. : annual conference of the European Association for Theoretical Computer Science (EATCS) : Jul 2010, Bordeaux, France. (Lecture Notes in Computer Science ; 6198-6199. Advanced Research in Computing and Software Science)
紙図書
Springerc2010.<M17-11-163>
国立国会図書館
  • 著者標目...atique (INRIA) Abramsky, Samson, 1953- Universite de Bordeaux...

Logic and algebraic methods

Logic and algebraic methods
紙図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press2000
全国の図書館
  • 著者標目Abramsky, Samson Gabbay, Dov M. Maibaum, Thoma...

Typed lambda calculi and applications : 5th international conference, TLCA 2001 : Krakow, Poland, May 2-5, 2001 : proceedings. : May 2001, Krakow, Poland. (Lecture Notes in Computer Science ; 2044)

Typed lambda calculi and applications : 5th international conference, TLCA 2001 : Krakow, Poland, May 2-5, 2001 : proceedings. : May 2001, Krakow, Poland. (Lecture Notes in Computer Science ; 2044)
紙図書
Springer2001.<M17-03-4694>
国立国会図書館
  • 著者標目Abramsky, Samson, 1953- International Conferen...

Semantic modelling

Semantic modelling
紙図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. AbramskyClarendon Press1995
全国の図書館
  • 著者標目Abramsky, Samson Gabbay, Dov M. Maibaum, Thoma...

Semantic structures

Semantic structures
紙図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. AbramskyClarendon Press1994
全国の図書館
  • 著者標目Abramsky, Samson Gabbay, Dov M. Maibaum, Thoma...

Background : mathematical structures

Background : mathematical structures
紙図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press1992
全国の図書館
  • 著者標目Abramsky, Samson Gabbay, Dov M. Maibaum, Thoma...

Background : computational structures

Background : computational structures
紙図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press1992
全国の図書館
  • 著者標目Abramsky, Samson Gabbay, Dov M. Maibaum, Thoma...

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us
紙図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
全国の図書館
  • 著者標目...nd Programming Abramsky, Samson Maibaum, Thomas S. E.

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us
紙図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
全国の図書館
  • 著者標目...re Development Abramsky, Samson Maibaum, Thomas S. E. Colloqu...

Abstract interpretation of declarative languages : Horwood : Halsted

Abstract interpretation of declarative languages : Horwood : Halsted
紙図書
editors, Samson Abramsky and Chris HankinE. Horwood1987
全国の図書館
  • 著者標目Abramsky, Samson Hankin, Chris

検索結果は以上です。