Mitteilungen aus dem Mathem. Seminar Giessen; Heft 233; Interactive Theorem Proving in Symbolic Incidence Geometry
| Jezik: | nemščina |
|---|---|
| Izdano: |
Giessen, 1998
|
| Teme: | |
| Format: | Knjiga |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=10080 |
Podobne knjige/članki
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
od: Ahmed, Asad, et al.
Izdano: (2022)
od: Ahmed, Asad, et al.
Izdano: (2022)
Mitteilungen über Forschungsarbeiten auf dem Gebiete des Ingenieurwesens insbesondere aus den Laboratorien der technischen Hochschulen; Heft: 89-96
Izdano: (Berlin, Kommissionsverlag von Julius Springer, 1910)
Izdano: (Berlin, Kommissionsverlag von Julius Springer, 1910)
Heft 233 : Untersuchung selbsttatiger Pumpenventile und deren Einwirkung auf den Pumpengang; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Krauss L. Ludwig
Izdano: (1920)
od: Krauss L. Ludwig
Izdano: (1920)
Resource Misallocation Theorem Applications to Sustainable Energy Transition /
Izdano: (2025)
Izdano: (2025)
Heft 217 : Die Dusencharakteristik; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Flugel G. Gustav
Izdano: (1919)
od: Flugel G. Gustav
Izdano: (1919)
Stimmenreich: Mitteilungen uber den Wahnsinn
od: Bock T. Thomas
Izdano: (Bonn, Psychiatrie-Verlag, 1996)
od: Bock T. Thomas
Izdano: (Bonn, Psychiatrie-Verlag, 1996)
There is strength in proving that it can be borne
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
Heft 245 : Untersuchungen an der Dieselmaschine; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Neumann K. Kurt
Izdano: (1921)
od: Neumann K. Kurt
Izdano: (1921)
Me prove it now — Whoever doubt
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
The incidents of love
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
Heft 213 : Ausflusskoeffizienten von Poncelet-Oeffnungen; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Schneider A. Adolf
Izdano: (1919)
od: Schneider A. Adolf
Izdano: (1919)
I could not prove the Years had feet
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)
Incident Of The French Camp
od: Robert B.
Izdano: (Санкт-Петербург, Лань, 2013)
od: Robert B.
Izdano: (Санкт-Петербург, Лань, 2013)
Heft 234 : Ueber die Stromungsvorgange im freien Luftstrahl; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Zimm W. Walter
Izdano: (1921)
od: Zimm W. Walter
Izdano: (1921)
Heft 242 : Uber die Wasserruckkuhlung mit selbstventilierendem Turmkuhler; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Geibel C. Carl
Izdano: (1921)
od: Geibel C. Carl
Izdano: (1921)
Heft 222 : Versuche uber Stromungen in stark erweiterten Kanalen; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Kroner R. Richard
Izdano: (1920)
od: Kroner R. Richard
Izdano: (1920)
Heft 235 : Der Wasserabflub in Flobgassen und ahnlichen Gerinnen; Forschungsarbeiten auf dem gebiete des ingenieurwesens
od: Fleytag L. Ludwig
Izdano: (1921)
od: Fleytag L. Ludwig
Izdano: (1921)
Symbolic Logic
od: Makridis, Odysseus
Izdano: (2022)
od: Makridis, Odysseus
Izdano: (2022)
Advances in Mathematics Education Research on Proof and Proving An International Perspective /
Izdano: (2018)
Izdano: (2018)
Heft 218 : Ueber die Schuttelerscheinungen elektrischer Lokomotiven mit Kurbelantrieb; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Couwenhoven A. C. Abraham Cornelis
Izdano: (1919)
od: Couwenhoven A. C. Abraham Cornelis
Izdano: (1919)
New Directions for Mathematics Education Research on Proving Honoring the Legacy of John and Annie Selden /
Izdano: (2025)
Izdano: (2025)
Heft 230 : Elastizitat und Festigkeit von Spezialstahlen bei hohen Temperaturen; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Welter G. Georg
Izdano: (1921)
od: Welter G. Georg
Izdano: (1921)
Creativity proves a key ingredient for success; Импульс-2013
od: Mukovnikova E. K.
Izdano: (2013)
od: Mukovnikova E. K.
Izdano: (2013)
Statecraft in Symbols Policy and the Life of the Chinese Nation /
od: Cheung, Paul
Izdano: (2022)
od: Cheung, Paul
Izdano: (2022)
Heft 220 : Die thermischen Eigenschsften des Wasserdampfes im technisch wichtigen Gebiet; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Eichelberg
Izdano: (1920)
od: Eichelberg
Izdano: (1920)
Handbuch der Eisen- und Stahlgießerei: mit 1702 Abbildungen im Text; Bd. 2: Formen und Gießen
od: Geiger C.
Izdano: (Berlin, Verlag von Julius springer, 1927)
od: Geiger C.
Izdano: (Berlin, Verlag von Julius springer, 1927)
Symbols and the Image of the State in Eurasia
od: Sengupta, Anita
Izdano: (2017)
od: Sengupta, Anita
Izdano: (2017)
Critical Theory and Symbolic Thinking
od: Mažeikis, Gintautas
Izdano: (2025)
od: Mažeikis, Gintautas
Izdano: (2025)
Ueber die Eigentumlichekeiten der Indigoblaufarbungen der naturlichen und kunstlichen Cellulosefasern: (mitteilungen aus dem laboratorium fur Faser- und Farbstoffe des Polytechnischen Instituts Kaiser Alexander II. zu Kiew)
od: Minajeff W.
Izdano: (Berlin, Buchdruckerei des verlages für textil-industrie, 1910)
od: Minajeff W.
Izdano: (Berlin, Buchdruckerei des verlages für textil-industrie, 1910)
Jahrgang XXVI, Mitteilungen aus der fachwelt zu "Moderne bauformen"; Moderne bauformen
Izdano: (1927)
Izdano: (1927)
Identity and Symbolic Interaction Deepening Foundations, Building Bridges /
Izdano: (2020)
Izdano: (2020)
Theorem about Amplification of Relational Algebra by Recursive Objects; Knowledge Engineering and Management; Vol. 123
od: Sokolova V. V. Veronika Valerievna
Izdano: (2011)
od: Sokolova V. V. Veronika Valerievna
Izdano: (2011)
Sound, Symbol, Sociality The Aesthetic Experience of Extreme Metal Music /
od: Unger, Matthew
Izdano: (2016)
od: Unger, Matthew
Izdano: (2016)
Reading Lacan’s Seminar VIII Transference /
Izdano: (2020)
Izdano: (2020)
Seminars in english lexicology учебное пособие для вузов
od: Воевудская О. М.
Izdano: (Воронеж, ВГУ, 2011)
od: Воевудская О. М.
Izdano: (Воронеж, ВГУ, 2011)
The Symbolic Politics of European Integration Staging Europe /
od: Krumrey, Jacob
Izdano: (2018)
od: Krumrey, Jacob
Izdano: (2018)
Wissenschaftliche Mitteilungen aus dem Institut fur Meteorologie der Universitat Leipzig und dem Institut fur Tropospharenforschunge. V. Leipzig; Band 5; Wind-und Seegangsatlas fur das Gebiet um Darb und Zingst. Teil 1: Windatlas / D. Hinneburg, A. Raabe, G. Tetzlaff
Izdano: (Leipzig, 1997)
Izdano: (Leipzig, 1997)
Darstellende Geometrie
od: Fucke R. Rudolf
Izdano: (Leipzig, Veb Fachbuchverlag, 1963)
od: Fucke R. Rudolf
Izdano: (Leipzig, Veb Fachbuchverlag, 1963)
Symbolic Legislation Theory and Developments in Biolaw
Izdano: (2016)
Izdano: (2016)
The Symbolism and Communicative Contents of Dreadlocks in Yorubaland
od: Agwuele, Augustine
Izdano: (2016)
od: Agwuele, Augustine
Izdano: (2016)
Podobne knjige/članki
-
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
od: Ahmed, Asad, et al.
Izdano: (2022) -
Mitteilungen über Forschungsarbeiten auf dem Gebiete des Ingenieurwesens insbesondere aus den Laboratorien der technischen Hochschulen; Heft: 89-96
Izdano: (Berlin, Kommissionsverlag von Julius Springer, 1910) -
Heft 233 : Untersuchung selbsttatiger Pumpenventile und deren Einwirkung auf den Pumpengang; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Krauss L. Ludwig
Izdano: (1920) -
Resource Misallocation Theorem Applications to Sustainable Energy Transition /
Izdano: (2025) -
Heft 217 : Die Dusencharakteristik; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Flugel G. Gustav
Izdano: (1919)