Denna webbshop är stängd för köp.
Klicka här för mer information

Automated Deduction - CADE-19
  • Bandtyp: Häftad
  • Språk: Engelska
  • Utgiven: 200307
  • Antal sidor: 512
  • Upplaga: 2003 ed., 
    Vikt i gram: 1600
  • ISBN10:3540405593
  • ISBN13:9783540405597

Automated Deduction - CADE-19

(Häftad)

Beskrivning:

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.

The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Kundrecensioner och bloggar

Sök fler böcker:

Kunder som köpt denna bok har
även köpt:
Skotten i Köpenhamn :  ett reportage om
Uppgång och fall
Uppgång och fall
av Strömquist, Liv
Den allvarsamma leken
Den allvarsamma leken
av Söderberg, Hjalmar
Miniatyrmakaren
Miniatyrmakaren
av Burton, Jessie
Min mors självbiografi
Min mors självbiografi
av Kincaid, Jamaica