Utvidet returrett til 31. januar 2025

Automated Deduction – CADE 27

- 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Om Automated Deduction – CADE 27

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030294359
  • Bindende:
  • Paperback
  • Sider:
  • 582
  • Utgitt:
  • 21. august 2019
  • Utgave:
  • 12019
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 920 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 21. desember 2024
Utvidet returrett til 31. januar 2025

Beskrivelse av Automated Deduction – CADE 27

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions.

Brukervurderinger av Automated Deduction – CADE 27



Finn lignende bøker
Boken Automated Deduction – CADE 27 finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.