Home Advanced Search

Advanced Search - Page 1

The Semantics and Proof Theory of the Logic of Bunched Implications
  • PDF
  • English
  • Year: 2002
  • Author: David J. Pym
Reductive logic and proof-search: Proof theory, semantics, and control
  • PDF
  • English
  • Year: 2004
  • Author: David J. Pym, Eike Ritter
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
  • PDF
  • English
  • Year: 2004
  • Author: David J. Pym, Eike Ritter
The Gypsies of Early Modern Spain, 1425–1783
  • PDF
  • English
  • Year: 2007
  • Author: Richard J. Pym (auth.)
Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: George Cybenko, David Pym, Barbara Fila
Economics of information security and privacy
  • PDF
  • English
  • Year: 2010
  • Author: Tyler Moore, David Pym, Christos Ioannidis (auth.), Tyler Moore, David Pym, Christos Ioannidis (eds.)
Applications of Functional Analysis and Operator Theory
  • DJVU
  • English
  • Year: 2005
  • Author: Vivian Hutson, John S. Pym and Michael J. Cloud (Eds.)
Applications of Functional Analysis and Operator Theory
  • DJVU
  • English
  • Year: 2005
  • Author: Vivian Hutson, John S. Pym and Michael J. Cloud (Eds.)
Applications of Functional Analysis and Operator Theory
  • PDF
  • English
  • Year: 2005
  • Author: Vivian Hutson, John S. Pym and Michael J. Cloud (Eds.)
The Status of the Translation Profession in the European Union
  • PDF
  • English
  • Year: 2013
  • Author: Anthony Pym, Claudio Sfreddo, Andy L. J. Chan, François Grin
search