• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      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

      9 270 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

      • Utgivningsdatum:2001-01-25
      • Mått:162 x 242 x 32 mm
      • Vikt:912 g
      • Format:Inbunden
      • Språk:Engelska
      • Serie:Handbook of Logic in Computer Science
      • Antal sidor:556
      • Förlag:OUP OXFORD
      • ISBN:9780198537816

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Algebra inom Naturvetenskap och teknik
      • Filosofiska discipliner inom Filosofi och religion

      Mer om författaren

      S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London

      Innehållsförteckning

      • 1. Martin Lof's Type Theory ; 2. Categorical Logic ; 3. A Uniform Method for Proving Lower Bounds on the Computational complexity of Logical Theories ; 4. Algebraic specification of abstract data types ; 5. Computable Functions and Semicomputable Sets on Many-sorted Algebras
      Hoppa över listan

      Mer från samma författare

      Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 4. Semantic Modelling, Inbunden

      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

      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

      663 kr

      Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Extensions of First-Order Logic, Häftad
      Del 19

      Extensions of First-Order Logic

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

      Häftad, 2005

      983 kr

      Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Logic of Typed Feature Structures, Häftad
      Del 32

      The Logic of Typed Feature Structures

      Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

      Häftad, 2005

      663 kr

      J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad
      Del 39

      The Uncertain Reasoner's Companion

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

      Häftad, 2006

      691 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

      753 kr

      Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Formal Methods in Artificial Intelligence, Häftad
      Del 6

      Formal Methods in Artificial Intelligence

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

      Häftad, 1991

      607 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

      694 kr

      Gregory. J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Algorithmic Information Theory, Häftad
      Del 1

      Algorithmic Information Theory

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

      Häftad, 2004

      714 kr

      Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Updating Logical Databases, Häftad
      Del 9

      Updating Logical Databases

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

      Häftad, 2005

      552 kr

      Hoppa över listan

      Mer från samma serie

      S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures, Inbunden

      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

      Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures, Inbunden

      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

      Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 3. Semantic Structures, Inbunden

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

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

      Inbunden, 1995

      7 222 kr

      Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 4. Semantic Modelling, Inbunden

      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

      Hoppa över listan

      Du kanske också är intresserad av

      Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 4. Semantic Modelling, Inbunden

      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

      Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures, Inbunden

      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

      S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures, Inbunden

      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

      Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 3. Semantic Structures, Inbunden

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

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

      Inbunden, 1995

      7 222 kr

      T. S. E. Maibaum, Dov M. Gabbay, S. Abramsky - Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures, E-bok

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

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

      E-bok
      2001

      5 929 kr

      Haim D. Rabinowitch, James L. Brewster - Onions and Allied Crops, Övrigt

      Onions and Allied Crops

      Haim D. Rabinowitch, James L. Brewster

      9 271 kr

      Information Reso Management Association - Research Anthology on Smart Grid and Microgrid Development, VOL 1, Inbunden
      Del 1

      Research Anthology on Smart Grid and Microgrid Development, VOL 1

      Information Reso Management Association

      Inbunden, 2021

      9 266 kr

      Various Authors - Routledge Library Editions: Kant, Övrigt

      Routledge Library Editions: Kant

      Various Authors

      9 272 kr

      Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad

      Automata, Languages and Programming

      Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis

      Häftad, 2010

      1 124 kr

      J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad
      Del 39

      The Uncertain Reasoner's Companion

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

      Häftad, 2006

      691 kr