Hoppa till sidans huvudinnehåll

Del 12699

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Häftad, Engelska, 2021

AvAndré Platzer,Geoff Sutcliffe,Andre Platzer,Geoff Platzer, André

579 kr

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


This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions.

Produktinformation

  • Utgivningsdatum2021-07-08
  • Mått155 x 235 x 36 mm
  • Vikt990 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor650
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030798758
Hoppa över listan

Du kanske också är intresserad av

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi, Andre Platzer, Kristin Yvonne Platzer, André

Häftad

579 kr

Del 9360

Correct System Design

Roland Meyer, André Platzer, Heike Wehrheim, Andre Platzer, Heike Platzer, André

Häftad

659 kr

Formal Methods

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Häftad

2 109 kr