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

AvSamson Abramsky,Dov M. Gabbay

Inbunden, Engelska, 2001

Del i serien Handbook of Logic in Computer Science

6 333 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

Utforska kategorier

Mer om författaren

Innehållsförteckning

Hoppa över listan

Mer från samma författare

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
Del 23

Nets, Terms and Formulas

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

Häftad, 2005

658 kr

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
Del 2

Logic and Computation

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

Häftad, 1990

721 kr

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Topology via Logic, Häftad
Del 5

Topology via Logic

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

Häftad, 1996

665 kr

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av

Heinrich Wilhelm Laufhütte, Ernst Träger, Friedrich-Christian Schroeder, Eckhart Von Bubnoff, Hans Lilie, Ernst-Walter Hanack, Klaus Geppert, Hartmuth Horstkotte, Wolfgang Ruß - §§ 80-145d, Inbunden

§§ 80-145d

Heinrich Wilhelm Laufhütte, Ernst Träger, Friedrich-Christian Schroeder, Eckhart Von Bubnoff, Hans Lilie, Ernst-Walter Hanack, Klaus Geppert, Hartmuth Horstkotte, Wolfgang Ruß

Inbunden, 2005

6 333 kr