Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Inbunden, Engelska, 2001

Del i serien Handbook of Logic in Computer Science

9 341 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.

Produktinformation

Utgivningsdatum:2001-01-25
Mått:162 x 242 x 32 mm
Vikt:912 g
Format:Inbunden
Språk:Engelska
Serie:Handbook of Logic in Computer Science
Antal sidor:556
Förlag:OUP OXFORD
ISBN:9780198537816

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Algebra inom Naturvetenskap och teknik
Filosofiska discipliner inom Filosofi och religion

Mer om författaren

S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London

Innehållsförteckning

1. Martin Lof's Type Theory ; 2. Categorical Logic ; 3. A Uniform Method for Proving Lower Bounds on the Computational complexity of Logical Theories ; 4. Algebraic specification of abstract data types ; 5. Computable Functions and Semicomputable Sets on Many-sorted Algebras

Mer från samma författare

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1995

7 222 kr

Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

787 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

1 163 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

787 kr

Del 39

The Uncertain Reasoner's Companion

J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2006

820 kr

Del 2

Logic and Computation

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1990

753 kr

Del 6

Formal Methods in Artificial Intelligence

Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1991

607 kr

Del 5

Topology via Logic

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1996

860 kr

Del 1

Algorithmic Information Theory

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

Häftad, 2004

885 kr

Del 9

Updating Logical Databases

Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

656 kr

Mer från samma serie

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1992

6 791 kr

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1992

7 962 kr

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1995

7 234 kr

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1995

7 222 kr

Du kanske också är intresserad av

Nyhet

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Performance-Based Design in Earthquake Geotechnical Engineering

Takaji Kokusho, Yoshimichi Tsukamoto, Mitsutoshi Yoshimine

Inbunden, 2009

9 341 kr

Nyhet

Gothic Print Culture, 1789-1900

Jennifer Camden, JoEllen DeLucia

9 341 kr

Behaviour of Steel Structures in Seismic Areas

Federico Mazzolani, James M. Ricles, Richard Sause

Inbunden, 2009

9 341 kr

Landslide Risk Management

Oldrich Hungr, Robin Fell, Réjean Couture, Erik Eberhardt

Inbunden, 2005

9 341 kr

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1995

7 222 kr

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1992

7 962 kr

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1992

6 791 kr

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1995

7 234 kr