Jump to main content

yr 〜
yr

Search results 3

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
Digital電子書籍・電子雑誌図書
2020
Available onlineNational Diet Library
  • Author HeadingGoubault-Larrecq König, Barbara

Non-Hausdorff topology and domain theory : hardback

Non-Hausdorff topology and domain theory : hardback
Paper図書
Jean Goubault-LarrecqCambridge University Press2013
Other Libraries in Japan
  • Author HeadingGoubault-Larrecq, Jean

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)

Reached to the end of result.

RSS