Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Automated Deduction – CADE 28

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

Über Automated Deduction – CADE 28

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783030798758
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 650
  • Veröffentlicht:
  • 8. Juli 2021
  • Ausgabe:
  • 12021
  • Abmessungen:
  • 155x235x0 mm.
  • Gewicht:
  • 1003 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Automated Deduction – CADE 28

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.

Kund*innenbewertungen von Automated Deduction – CADE 28



Ähnliche Bücher finden
Das Buch Automated Deduction – CADE 28 ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.