| 期刊全稱 | ALPUK91 | | 期刊簡稱 | Proceedings of the 3 | | 影響因子2023 | Geraint A. Wiggins,Chris Mellish,Tim Duncan | | 視頻video | http://file.papertrans.cn/143/142928/142928.mp4 | | 學科分類 | Workshops in Computing | | 圖書封面 |  | | 影響因子 | Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK‘s 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive database | | Pindex | Conference proceedings 1992 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 18:25
發(fā)表于 2025-3-21 18:11:05
