Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence)

Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版／ページ数 756 p.
  • 言語 ENG
  • 商品コード 9783031999833

Full Description

This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.

最近チェックした商品

千葉市・船橋市・松戸市・柏市・市原市・流山市の上級・大卒程度 〈２０２５年度版〉 千葉県の公務員採用試験対策シリーズ
  • 和書
千葉市・船橋市・松戸市・柏市・市原市・…
薬学生のための栄養と健康 （新版　第２版）
  • 和書
薬学生のための栄養と健康 （新版　第２…
京都上賀茂牡丹屋敷の殺人 - 長編推理小説 光文社文庫
  • 和書
京都上賀茂牡丹屋敷の殺人 - 長編推理…
聖なる湖
  • 和書
聖なる湖
The Law of Libel : In Which Is Contained a General History of This Law in the Ancient Codes (1816)
  • 洋書
The Law of Libel : …