Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings
暫譯: 自動推理 - Cade 27：第27屆自動推理國際會議，巴西納塔爾，2019年8月27-30日，會議論文集

Fontaine, Pascal

Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings
  • 出版商: Springer
  • 出版日期: 2019-08-21
  • 售價: $3,750
  • 貴賓價: 9.5 折 $3,563
  • 語言: 英文
  • 頁數: 582
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030294358
  • ISBN-13: 9783030294359

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.

商品描述(中文翻譯)

本書是第27屆國際自動推理會議（CADE 27）的會議紀錄，該會議於2019年8月在巴西納塔爾舉行。提交的65篇論文中，經過仔細審查和選擇，最終選出了27篇完整論文和7篇系統描述。CADE是自動推理各方面研究的主要論壇，包括基礎、應用、實現和實際經驗。

類似商品