Jump to main content

yr 〜
yr

Search results 3

Semantic techniques in quantum computation

Semantic techniques in quantum computation
Paper図書
edited by Simon Gay, Ian MackieCambridge University Press2010
Other Libraries in Japan
  • Author HeadingGay, Simon Mackie, I. (Ian)

Proof theory and automated deduction

Proof theory and automated deduction
Paper図書
by Jean Goubault-Larrecq and Ian MackieKluwer Academicc1997
Other Libraries in Japan
  • Author HeadingGoubault-Larrecq, Jean Mackie, I. (Ian)

Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop

Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
Paper図書
editors, C. Hankin, I. Mackie, R. NagarajanImperial College Pressc1995
Other Libraries in Japan
  • Author HeadingHankin, Chris Mackie, I. (Ian) Nagarajan, R. (Rajagopal) Imp...

Reached to the end of result.

RSS