Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden
6 357 kr
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 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
6 200 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
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 4. Semantic Modelling
Samson Abramsky, T. S. Maibaum, 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