Hoppa till sidans huvudinnehåll

Del 14132

Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Häftad, Engelska, 2023

AvBrigitte Pientka,Cesare Tinelli

579 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.

Produktinformation

  • Utgivningsdatum2023-09-03
  • Mått155 x 235 x 34 mm
  • Vikt925 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor592
  • FörlagSpringer International Publishing AG
  • ISBN9783031384981
Hoppa över listan

Du kanske också är intresserad av

  • Nyhet
Del 4

Sot

Sara Strömberg

Storpocket

139 kr179 kr

  • Nyhet

Fars rygg

Niels Fredrik Dahl

Pocket

79 kr115 kr

  • Nyhet
Del 4

Nattjägaren

Anders de la Motte

Storpocket

139 kr179 kr