• 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

10% studentrabatt med kod TERM26

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

      Symbolic Computation and Automated Reasoning

      The CALCULEMUS-2000 Symposium

      AvMichael Kohlhase,Manfred Kerber

      E-bok
      Engelska, 2001

      1 019 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      Beskrivning

      While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.

      Produktinformation

      • Utgivningsdatum:2001-04-02
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9781040186848
      • Förlag:CRC Press

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Tillämpad datateknik inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Michael Kohlhase, Manfred Kerber - Symbolic Computation and Automated Reasoning, E-bok

      Symbolic Computation and Automated Reasoning

      Michael Kohlhase, Manfred Kerber

      E-bok
      2001

      1 019 kr

      Manfred Kerber, Michael Kohlhase - Symbolic Computation and Automated Reasoning, Inbunden

      Symbolic Computation and Automated Reasoning

      Manfred Kerber, Michael Kohlhase

      Inbunden, 2001

      2 003 kr

      Volker Sorge, Florian Rabe, Cezary Kaliszyk, Jacques Carette, Manfred Kerber - Intelligent Computer Mathematics, E-bok

      Intelligent Computer Mathematics

      Volker Sorge, Florian Rabe, Cezary Kaliszyk, Jacques Carette, Manfred Kerber

      E-bok
      2015

      732 kr

      Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd - Computational Logic - CL 2000, E-bok

      Computational Logic - CL 2000

      Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd

      E-bok
      2003

      732 kr

      Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge - Intelligent Computer Mathematics, Häftad
      Del 9150

      Intelligent Computer Mathematics

      Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge

      Häftad, 2015

      566 kr

      Manfred Kerber, Catherine Dubois - Intelligent Computer Mathematics, E-bok

      Intelligent Computer Mathematics

      Manfred Kerber, Catherine Dubois

      E-bok
      2023

      997 kr

      Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger - Towards Mechanized Mathematical Assistants, Häftad

      Towards Mechanized Mathematical Assistants

      Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger

      Häftad, 2007

      549 kr

      John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey - Computational Logic — CL 2000, Övrigt

      Computational Logic — CL 2000

      John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

      667 kr

      Wolfgang Windsteiger, Robert Miner, Manfred Kerber, Manuel Kauers - Towards Mechanized Mathematical Assistants, E-bok

      Towards Mechanized Mathematical Assistants

      Wolfgang Windsteiger, Robert Miner, Manfred Kerber, Manuel Kauers

      E-bok
      2007

      712 kr

      Catherine Dubois, Manfred Kerber - Intelligent Computer Mathematics, Häftad
      Del 14101

      Intelligent Computer Mathematics

      Catherine Dubois, Manfred Kerber

      Häftad, 2023

      797 kr