| 期刊全稱 | Automated Deduction - CADE-18 | | 期刊簡稱 | 18th International C | | 影響因子2023 | Andrei Voronkov | | 視頻video | http://file.papertrans.cn/167/166282/166282.mp4 | | 發(fā)行地址 | Includes supplementary material: | | 學(xué)科分類 | Lecture Notes in Computer Science | | 圖書封面 |  | | 影響因子 | The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this v | | Pindex | Conference proceedings 2002 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-23 07:40
發(fā)表于 2025-3-21 18:00:57
