| 書目名稱 | Proof and Computation | | 編輯 | Helmut Schwichtenberg | | 視頻video | http://file.papertrans.cn/762/761259/761259.mp4 | | 叢書名稱 | NATO ASI Subseries F: | | 圖書封面 |  | | 描述 | Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic. | | 出版日期 | Conference proceedings 1995 | | 關(guān)鍵詞 | Abstract data types; Deduction; Deduktion; Konstruktive Methoden; Lineare Logik; Nebenl?ufigkeit; Prolog; V | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-79361-5 | | isbn_softcover | 978-3-642-79363-9 | | isbn_ebook | 978-3-642-79361-5Series ISSN 0258-1248 | | issn_series | 0258-1248 | | copyright | Springer-Verlag Berlin Heidelberg 1995 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 06:32
發(fā)表于 2025-3-21 17:03:35
