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
6 200 kr
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
AvSamson Abramsky,T. S. Maibaum
Inbunden, Engelska, 1995
Del i serien Handbook of Logic in Computer Science
5 634 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Del 23
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
618 kr
Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
916 kr
Del 32
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
618 kr
Del 39
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
645 kr
Del 2
Logic and Computation
Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
692 kr
Del 6
Formal Methods in Artificial Intelligence
Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
563 kr
Del 5
Topology via Logic
Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
636 kr
Del 1
Algorithmic Information Theory
Gregory. J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
636 kr
Del 9
Updating Logical Databases
Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
509 kr
Hoppa över listan
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
6 357 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
6 200 kr
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden
5 634 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
6 200 kr
Hoppa över listan
Du kanske också är intresserad av
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden
5 634 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
6 200 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
6 200 kr
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden
6 357 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Inbunden
5 634 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Dov M. Gabbay, C. J. Hogger
Inbunden
5 634 kr