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 270 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

657 kr

Del 19

Extensions of First-Order Logic

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

Häftad, 2005

973 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

657 kr

Del 39

The Uncertain Reasoner's Companion

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

Häftad, 2006

684 kr

Del 2

Logic and Computation

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

Häftad, 1990

745 kr

Del 6

Formal Methods in Artificial Intelligence

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

Häftad, 1991

601 kr

Del 5

Topology via Logic

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

Häftad, 1996

687 kr

Del 1

Algorithmic Information Theory

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

Häftad, 2004

707 kr

Del 9

Updating Logical Databases

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

Häftad, 2005

546 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 949 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 222 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

Del 1

Research Anthology on Smart Grid and Microgrid Development, VOL 1

Information Reso Management Association

Inbunden, 2021

9 266 kr

Routledge Library Editions: Kant

Various Authors

9 272 kr

Del 2

Research Anthology on Smart Grid and Microgrid Development, VOL 2

Information Reso Management Association

Inbunden, 2021

9 266 kr

Del 3

Research Anthology on Smart Grid and Microgrid Development, VOL 3

Information Reso Management Association

Inbunden, 2021

9 266 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 949 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 222 kr

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

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

E-bok

2001

5 929 kr

Automata, Languages and Programming

Paul Spirakis, Friedhelm Meyer auf der Heide, Claude Kirchner, Cyril Gavoille, Samson Abramsky

E-bok

2010

1 455 kr