書(shū)目名稱(chēng) | Frontiers of Combining Systems |
副標(biāo)題 | Third International |
編輯 | Hélène Kirchner,Christophe Ringeissen |
視頻video | http://file.papertrans.cn/350/349258/349258.mp4 |
概述 | Includes supplementary material: |
叢書(shū)名稱(chēng) | Lecture Notes in Computer Science |
圖書(shū)封面 |  |
出版日期 | Conference proceedings 2000 |
關(guān)鍵詞 | AI logics; Automated deduction; Cut-elimination theorem; constraint solving; declarative programming; log |
版次 | 1 |
doi | https://doi.org/10.1007/10720084 |
isbn_softcover | 978-3-540-67281-4 |
isbn_ebook | 978-3-540-46421-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2000 |