Logic and Computation

Interactive Proof with Cambridge LCF

Häftad, Engelska, 1990

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

929 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

Produktinformation

Utgivningsdatum1990-07-26
Mått187 x 247 x 19 mm
Vikt574 g
FormatHäftad
SpråkEngelska
SerieCambridge Tracts in Theoretical Computer Science
Antal sidor320
FörlagCambridge University Press
ISBN9780521395601

Tillhör följande kategorier

It-certifieringar inom Data och it

Du kanske också är intresserad av

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

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

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

1 199 kr

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

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

829 kr

Updating Logical Databases

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

669 kr

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

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

Nyhet

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl

Flera Författare

289 kr

The Optimal Implementation of Functional Programming Languages

Italy) Asperti, Andrea (Universita degli Studi, Bologna, Queen Mary University of London) Guerrini, Stefano (Professor, Andrea Asperti, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 429 kr