Jump to main content

yr 〜
yr

Search results 5

Economics of information security and privacy

Economics of information security and privacy
Paper図書
Tyler Moore, David J. Pym, Christos Ioannidis, editorsSpringerc2010
Other Libraries in Japan
  • Author HeadingMoore, Tyler Pym, David J. Ioannidis, Christos

Reductive logic and proof-search : proof theory, semantics, and control : hbk

Reductive logic and proof-search : proof theory, semantics, and control : hbk
Paper図書
David J. Pym and Eike RitterClarendon Press2004
Other Libraries in Japan
  • Author HeadingPym, David J. Ritter, Eike

The semantics and proof theory of the logic of bunched implications

The semantics and proof theory of the logic of bunched implications
Paper図書
by David J. PymKluwer Academicc2002
Other Libraries in Japan
  • Author HeadingPym, David J.

The semantics and proof theory of the logic of bunched implications

The semantics and proof theory of the logic of bunched implications
Paper図書
by David J. PymSpringer-Science+Business Mediac2002
Other Libraries in Japan
  • Author HeadingPym, David J.

Proofs, search and computation in general logic

Proofs, search and computation in general logic
Paper図書
David PymUniversity of Edinburgh, Department of Computer Science1990
Other Libraries in Japan

Reached to the end of result.

RSS