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
7 234 kr
Beställningsvara. Skickas inom 3-6 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 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 serie
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 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 5. Algebraic and Logical Structures
Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 2001
9 341 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Inbunden, 1994
7 234 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, 1993
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
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 5. Algebraic and Logical Structures
Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 2001
9 341 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 5. Algebraic and Logical Structures
T. S. E. Maibaum, Dov M. Gabbay, S. Abramsky
E-bok
20015 991 kr
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
S. Abramsky, T.S.E. Maibaum
Häftad, 1991
555 kr