標(biāo)題: Titlebook: Excursions in the History of Mathematics; Israel Kleiner Textbook 2012 Springer Science+Business Media, LLC 2012 Dedekind.Euler.Fermat‘s L [打印本頁(yè)] 作者: 字里行間 時(shí)間: 2025-3-21 17:10
書目名稱Excursions in the History of Mathematics影響因子(影響力)
書目名稱Excursions in the History of Mathematics影響因子(影響力)學(xué)科排名
書目名稱Excursions in the History of Mathematics網(wǎng)絡(luò)公開(kāi)度
書目名稱Excursions in the History of Mathematics網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Excursions in the History of Mathematics被引頻次
書目名稱Excursions in the History of Mathematics被引頻次學(xué)科排名
書目名稱Excursions in the History of Mathematics年度引用
書目名稱Excursions in the History of Mathematics年度引用學(xué)科排名
書目名稱Excursions in the History of Mathematics讀者反饋
書目名稱Excursions in the History of Mathematics讀者反饋學(xué)科排名
作者: 無(wú)能性 時(shí)間: 2025-3-21 23:37
Israel KleinerIncludes supplementary material: 作者: infinite 時(shí)間: 2025-3-22 04:26 作者: Deference 時(shí)間: 2025-3-22 05:47 作者: 積云 時(shí)間: 2025-3-22 09:40 作者: 竊喜 時(shí)間: 2025-3-22 14:21
Textbook 2012ctively.? Part four deals with several historically oriented courses, and Part five provides biographies of five mathematicians—Dedekind, Euler, Gauss, Hilbert, and?Weierstrass—who played major roles in the historical events described in the first four parts of the work..Excursions in the History of作者: 竊喜 時(shí)間: 2025-3-22 18:07 作者: 消息靈通 時(shí)間: 2025-3-23 01:16
ry of their subject; to encourage mathematics teachers with at least some knowledge of the history of mathematics to offer courses with a strong historical component; and to provide an historical perspective on a number of basic topics taught in mathematics courses..978-0-8176-8268-2作者: 巧辦法 時(shí)間: 2025-3-23 04:55 作者: Ergots 時(shí)間: 2025-3-23 06:17 作者: chiropractor 時(shí)間: 2025-3-23 13:24
More on the History of Functions, with Remarks on Teaching作者: 蔑視 時(shí)間: 2025-3-23 14:12
Principle of Continuity: Sixteenth–Nineteenth Centuries作者: 血統(tǒng) 時(shí)間: 2025-3-23 18:32 作者: Malfunction 時(shí)間: 2025-3-24 00:43
A History-of-Mathematics Course for Teachers, Based on Great Quotations作者: Obscure 時(shí)間: 2025-3-24 04:53
Untyped Algorithmic Equality for Martin-L?f’s Logical Framework with Surjective PairsAn untyped algorithm to test .-equality for Martin-L?f’s Logical Framework with strong Σ -types is presented and proven complete using a model of partial equivalence relations between untyped terms.作者: Acquired 時(shí)間: 2025-3-24 08:47 作者: Incumbent 時(shí)間: 2025-3-24 11:31 作者: Ruptured-Disk 時(shí)間: 2025-3-24 16:46
Completeness Theorems and ,-CalculusThe purpose of this note is to present a variation of Hindley’s completeness theorem for simply typed .-calculus based on Kripke model. This variation was obtained indirectly by simplifying an analysis of a?fragment of polymorphic .-calculus [2].作者: 后來(lái) 時(shí)間: 2025-3-24 21:33 作者: concert 時(shí)間: 2025-3-25 00:20 作者: 誹謗 時(shí)間: 2025-3-25 06:12 作者: glomeruli 時(shí)間: 2025-3-25 07:39 作者: larder 時(shí)間: 2025-3-25 15:13
The conservation theorem revisited,This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call . we prove that any .-term that has a ....-normal form is strongly .-normalizable. We show how to use this result to prove the strong normalization of different typed .-calculi.作者: addition 時(shí)間: 2025-3-25 19:28 作者: 提煉 時(shí)間: 2025-3-25 23:04 作者: 移動(dòng) 時(shí)間: 2025-3-26 02:10 作者: PLIC 時(shí)間: 2025-3-26 07:52 作者: flaggy 時(shí)間: 2025-3-26 08:42 作者: Fester 時(shí)間: 2025-3-26 16:42
W. Zatonski,J. Tyczynski,J. Didkowskatime immemorial. The insecticidal crystal proteins produced by . offer tangible options for insect management. They have not only been effective as biopesticides but also proved to be successful in plant biotechnology. A plethora of . genes have been identified and used for the development of variou作者: PAEAN 時(shí)間: 2025-3-26 17:03 作者: synovial-joint 時(shí)間: 2025-3-26 21:37 作者: Accord 時(shí)間: 2025-3-27 01:53 作者: 真實(shí)的你 時(shí)間: 2025-3-27 08:34 作者: 有權(quán) 時(shí)間: 2025-3-27 09:35
D. Kuschbert to develop methods for making the cities ‘smart’, replicable both within and outside the Smart City. The SCM aimed to promote inclusive and sustainable cities while ensuring infrastructural development and improving quality of life. Keeping the current rate of urbanisation and technological boom in作者: mercenary 時(shí)間: 2025-3-27 14:05
Robert A. Fenton,Baoxue Yangas Feld eines beliebigen Magnetgestelles ausführt. Man braucht demnach nur die Enden einer solchen Windung an zwei auf der Achse des Ankers sitzende isolierte Schleifringe anzuschlie?en und kann dann den Wechselstrom aus zwei auf diesen Ringen schleifenden feststehenden Bürsten direkt abnehmen. Da n作者: coagulate 時(shí)間: 2025-3-27 19:12
A Structural Characterization of DAG-Isomorphic Dependency Models Aufgabe vermitteln sie zwischen sozialen und r?umlichen Organisationsformen und befassen sich damit, eine angemessene Verteilung der Nutzungen über die Fl?che der Stadt vorzunehmen (J. Friedrichs 1995). Dazu ist die Zusammenarbeit zahlreicher Spezialdisziplinen erforderlich, die unter dem Begriff d作者: Curmudgeon 時(shí)間: 2025-3-28 01:17
Estimation of Quantity and Nutritional Information of Food Using Image Processing, calories and nutrients required for the functioning of human body. Our project aims at detecting and identifying the food item whose details are existing in the designed database and gives us certain details such as the calories and nutrients the food item consists of, and along with this, our proj作者: ANN 時(shí)間: 2025-3-28 04:30
,Tumoren des Gesichtssch?dels und Nasopharynx,; . 1984; . etal. 1982; . etal. 1978). über 80% sind epithelialen Ursprungs; hiervon sind die Plattenepithelkarzinome die h?ufigsten. Sie treten oft nach chronischen Entzündungen der NNH auf (. 1979). 80% der Patienten haben bei der Diagnosestellung bereits kn?cherne Destruktionen (. 1979) oder der 作者: GRAZE 時(shí)間: 2025-3-28 10:06 作者: 噴出 時(shí)間: 2025-3-28 10:52 作者: 侵略主義 時(shí)間: 2025-3-28 15:52
0924-5480 ce in some regions of the world and a renewable reservoir of essential raw materials for the wood processing industry. In June 1992 the United Nations Conference on the Environment and Development (UNCED) in Rio de Janeiro initiated a world-wide process of negotiation with the aim of ensuring sustai作者: 兩棲動(dòng)物 時(shí)間: 2025-3-28 22:12 作者: 禮節(jié) 時(shí)間: 2025-3-28 22:59 作者: 樣式 時(shí)間: 2025-3-29 03:29
Dual Graph Convolutional Networks for?Document-Level Event Causality Identificationade manner and capture the causality patterns. Experiments on a benchmark dataset show that DocECI outperforms existing models by a significant margin. Moreover, a new experiment is conducted on causality direction identification, which is overlooked by existing models.作者: Extemporize 時(shí)間: 2025-3-29 09:45
Egondu R. Onyejekweation to any new evidence that might modify existing conclu- sions and recommendations - making reports to the membership on the state of the subject at such times and in such ways as seems appropriate The Watchdog Group was instituted in 1979 and named the Euro- pean Committee for Ultrasonic Radiation Safety978-3-540-18340-2978-3-642-72986-7作者: NAUT 時(shí)間: 2025-3-29 11:53 作者: 商品 時(shí)間: 2025-3-29 17:03 作者: 紅腫 時(shí)間: 2025-3-29 20:10 作者: surrogate 時(shí)間: 2025-3-30 02:45
Ingolf H. Krüger,Michael Meisinger,Massimiliano Menarinimischen Denkens“ habe ich mich ausführlich mit der List-Rezeption in ?sterreich und Ungarn auseinandergesetzt und in dem 2004 ver?ffentlichten Buch ?Durch Wohlstand zur Freiheit – Neues zum Leben und Werk von Friedrich List“ zu dessen engmaschiger überwachung durch den habsburgischen Polizeistaat di作者: overbearing 時(shí)間: 2025-3-30 05:32
Introduction,and other advantages over manufactured gas, has been the saviour of the gas industry in recent years. It is doubtful whether the traditional manufactured gas industry could have survived, in the face of increasingly severe competition from liquid petroleum fuels and electricity, if it had had to rely upon manufactured gas indefinitely.
