Del i serien Handbook of Logic in Computer Science

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

Inbunden, Engelska, 1995

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

9 389 kr

Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination 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

Utgivningsdatum1995-05-04
Mått161 x 241 x 40 mm
Vikt1 115 g
FormatInbunden
SpråkEngelska
SerieHandbook of Logic in Computer Science
Antal sidor666
FörlagClarendon Press
ISBN9780198537809

Tillhör följande kategorier

Mer från samma författare

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

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

Inbunden, 2001

12 139 kr

Del 23

Nets, Terms and Formulas

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

Häftad, 2005

1 019 kr

Del 19

Extensions of First-Order Logic

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

Häftad, 2005

1 509 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

1 019 kr

Del 39

The Uncertain Reasoner's Companion

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

Häftad, 2006

1 069 kr

Del 2

Logic and Computation

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

Häftad, 1990

979 kr

Del 6

Formal Methods in Artificial Intelligence

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

Häftad, 1991

789 kr

Del 5

Topology via Logic

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

Häftad, 1996

1 119 kr

Del 1

Algorithmic Information Theory

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

Häftad, 2004

1 149 kr

Del 9

Updating Logical Databases

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

Häftad, 2005

849 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

8 829 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

10 349 kr

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

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

Inbunden, 1995

9 409 kr

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

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

Inbunden, 2001

12 139 kr

Du kanske också är intresserad av

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

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

Inbunden, 2001

12 139 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

10 349 kr

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

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

Inbunden, 1992

8 829 kr