標題: Titlebook: Logic Programming with Prolog; Max Bramer Textbook 20051st edition Springer-Verlag London 2005 Processing.Programming Languages.Prolog.Rac [打印本頁] 作者: 投射技術 時間: 2025-3-21 18:06
書目名稱Logic Programming with Prolog影響因子(影響力)
書目名稱Logic Programming with Prolog影響因子(影響力)學科排名
書目名稱Logic Programming with Prolog網絡公開度
書目名稱Logic Programming with Prolog網絡公開度學科排名
書目名稱Logic Programming with Prolog被引頻次
書目名稱Logic Programming with Prolog被引頻次學科排名
書目名稱Logic Programming with Prolog年度引用
書目名稱Logic Programming with Prolog年度引用學科排名
書目名稱Logic Programming with Prolog讀者反饋
書目名稱Logic Programming with Prolog讀者反饋學科排名
作者: LIMN 時間: 2025-3-21 21:07 作者: intuition 時間: 2025-3-22 03:36
Max BramerCovers principal features of the language, including unification and backtracking in detail using examples and diagrams – but without recourse to mathematical formalism.Suitable as textbook or for sel作者: 辯論的終結 時間: 2025-3-22 07:03
http://image.papertrans.cn/l/image/587924.jpg作者: 癡呆 時間: 2025-3-22 11:07
pplications in a wide variety of disciplines. Its clear exposition and emphasis on concrete examples will make it not only an excellent graduate text but also a valuable resource for researchers in such disciplines as aerospace, mechanical, and chemical engineering; astrophysics, solid state and las作者: BLANK 時間: 2025-3-22 14:33 作者: 圍裙 時間: 2025-3-22 20:50 作者: 行業(yè) 時間: 2025-3-23 00:09
pplications in a wide variety of disciplines. Its clear exposition and emphasis on concrete examples will make it not only an excellent graduate text but also a valuable resource for researchers in such disciplines as aerospace, mechanical, and chemical engineering; astrophysics, solid state and las作者: Euphonious 時間: 2025-3-23 02:28 作者: 柱廊 時間: 2025-3-23 07:28 作者: LURE 時間: 2025-3-23 11:53 作者: 外來 時間: 2025-3-23 17:39
tment of applications in a wide variety of disciplines. Its clear exposition and emphasis on concrete examples will make it not only an excellent graduate text but also a valuable resource for researchers in such disciplines as aerospace, mechanical, and chemical engineering; astrophysics, solid sta作者: hair-bulb 時間: 2025-3-23 19:54 作者: 畢業(yè)典禮 時間: 2025-3-24 00:15
kinetic theory, including the Green‘s-function formalism and the Wigner-Moyal equation.- Relativistic kinetic theory and Lorentz invariants.- Kinetic properties of metals and amorphous media.- Monte-Carlo analysis in kinetic theory.- Kinetic study of shock waves..This third revised edition features作者: Commemorate 時間: 2025-3-24 06:16
kinetic theory, including the Green‘s-function formalism and the Wigner-Moyal equation.- Relativistic kinetic theory and Lorentz invariants.- Kinetic properties of metals and amorphous media.- Monte-Carlo analysis in kinetic theory.- Kinetic study of shock waves..This third revised edition features作者: Tremor 時間: 2025-3-24 10:11
Textbook 20051st edition in the field of Artificial Intelligence. Although it is a general-purpose language, its main strengths are for symbolic rather than for numerical computation. The developers of the language were researchers working on automating mathematical theorem proving. This field is often known as computation作者: 不能逃避 時間: 2025-3-24 13:51
.- Kinetic properties of metals and amorphous media.- Monte-Carlo analysis in kinetic theory.- Kinetic study of shock waves..This third revised edition features978-1-4419-3052-1978-0-387-21775-8Series ISSN 0938-037X 作者: 樣式 時間: 2025-3-24 16:32
.- Kinetic properties of metals and amorphous media.- Monte-Carlo analysis in kinetic theory.- Kinetic study of shock waves..This third revised edition features978-1-4419-3052-1978-0-387-21775-8Series ISSN 0938-037X 作者: Capture 時間: 2025-3-24 19:53 作者: Trypsin 時間: 2025-3-25 03:07 作者: 侵略主義 時間: 2025-3-25 04:36
.- Kinetic properties of metals and amorphous media.- Monte-Carlo analysis in kinetic theory.- Kinetic study of shock waves..This third revised edition features978-1-4419-3052-1978-0-387-21775-8Series ISSN 0938-037X 作者: Ancillary 時間: 2025-3-25 09:19 作者: intelligible 時間: 2025-3-25 11:59
Textbook 20051st editionand Java. Fans of Logic Programming would say that ‘different‘ means clearer, simpler and generally better! Although there are other Logic Programming languages, by far the most widely used is Prolog. The name stands for Programming in Logic. This book teaches the techniques of Logic Programming thr作者: 創(chuàng)造性 時間: 2025-3-25 17:51 作者: 細節(jié) 時間: 2025-3-25 20:57
OnLight Information Broadcasting in Exhibitions Using Li-Fi, of technology which can communicate as well as illuminate, referred to as Li-Fi or Light Fidelity. Li-Fi emerged as a solution to the growing congestion problem on existing radio spectrum used by Wi-Fi. It offers inherent advantages like security, nonhazardous, availability, bandwidth, efficiency, 作者: Capture 時間: 2025-3-26 00:39 作者: 不理會 時間: 2025-3-26 05:15 作者: acrobat 時間: 2025-3-26 10:30 作者: VICT 時間: 2025-3-26 15:56 作者: 單片眼鏡 時間: 2025-3-26 17:40 作者: 遵循的規(guī)范 時間: 2025-3-26 21:00
Roger PenrosePIs based on the values found in the graph. The graph represents a complete view of aggregated data that corresponds to the search results according to the user-defined keywords, and gives easy access to detailed data (tweets) that, in its turn, leads to better understanding of the post context and 作者: genuine 時間: 2025-3-27 04:02
Computational Modelling of?Complex Multiphase Behavior of?Environmentally-Friendly Materials for?Suses Landau-Ginzburg-Devonshire theory to simulate material micro-domain phase transitions. The computational model for BNT-type piezoelectric material covers temperature-induced ferroelectric domain switching and phase transitions. Therefore, the developed computational approach will assist us in bet作者: 滋養(yǎng) 時間: 2025-3-27 08:04 作者: GLOOM 時間: 2025-3-27 11:48 作者: LEVY 時間: 2025-3-27 14:11 作者: Incisor 時間: 2025-3-27 20:15