Jump to main content

yr 〜
yr

Search results 6

Handbook of logic in computer science

Handbook of logic in computer science
Paper図書
Clarendon Press1992-
Other Libraries in Japan

Logic and algebraic methods

Logic and algebraic methods
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press2000
Other Libraries in Japan
  • Related MaterialHandbook of logic in computer science
  • Periodical TitleHandbook of logic in computer science

Semantic modelling

Semantic modelling
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. AbramskyClarendon Press1995
Other Libraries in Japan
  • Related MaterialHandbook of logic in computer science
  • Periodical TitleHandbook of logic in computer science

Semantic structures

Semantic structures
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. AbramskyClarendon Press1994
Other Libraries in Japan
  • Related MaterialHandbook of logic in computer science
  • Periodical TitleHandbook of logic in computer science

Background : mathematical structures

Background : mathematical structures
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press1992
Other Libraries in Japan
  • Related MaterialHandbook of logic in computer science
  • Periodical TitleHandbook of logic in computer science

Background : computational structures

Background : computational structures
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press1992
Other Libraries in Japan
  • Related MaterialHandbook of logic in computer science
  • Periodical TitleHandbook of logic in computer science

Reached to the end of result.

RSS