1 429 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.

Produktinformation

  • Utgivningsdatum1998-12-03
  • Mått159 x 235 x 31 mm
  • Vikt758 g
  • FormatInbunden
  • SpråkEngelska
  • SerieCambridge Tracts in Theoretical Computer Science
  • Antal sidor408
  • FörlagCambridge University Press
  • ISBN9780521621120

Tillhör följande kategorier

Du kanske också är intresserad av

Belief Revision

Belief Revision

Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 139 kr

The Uncertain Reasoner's Companion

The Uncertain Reasoner's Companion

J. B. (University of Manchester) Paris, J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

839 kr

Extensions of First-Order Logic

Extensions of First-Order Logic

Maria (Universitat de Barcelona) Manzano, Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 199 kr

Topology via Logic

Topology via Logic

London) Vickers, Steven (Imperial College of Science, Technology and Medicine, Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

809 kr

Algorithmic Information Theory

Algorithmic Information Theory

Gregory. J. Chaitin, Gregory J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

829 kr

Updating Logical Databases

Updating Logical Databases

Urbana-Champaign) Winslett, Marianne (University of Illinois, Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

669 kr

Den yttersta hemligheten
Del 6

Den yttersta hemligheten

Dan Brown

289 kr329 kr

Logic and Computation

Logic and Computation

Lawrence C. (University of Cambridge) Paulson, Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

929 kr

Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

739 kr

Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design

K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, K. McEvoy, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 019 kr