Mitteilungen aus dem Mathem. Seminar Giessen; Heft 233; Interactive Theorem Proving in Symbolic Incidence Geometry

Mitteilungen aus dem Mathem. Seminar Giessen; Heft 233; Interactive Theorem Proving in Symbolic Incidence Geometry

Bibliografske podrobnosti
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)

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)

Stimmenreich: Mitteilungen uber den Wahnsinn
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)

Heft 245 : Untersuchungen an der Dieselmaschine; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Neumann K. Kurt
Izdano: (1921)

Me prove it now — Whoever doubt
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)

The incidents of love
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)

Heft 213 : Ausflusskoeffizienten von Poncelet-Oeffnungen; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Schneider A. Adolf
Izdano: (1919)

I could not prove the Years had feet
od: Emily E. D.
Izdano: (Санкт-Петербург, Лань, 2013)

Incident Of The French Camp
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)

Heft 242 : Uber die Wasserruckkuhlung mit selbstventilierendem Turmkuhler; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
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)

Heft 235 : Der Wasserabflub in Flobgassen und ahnlichen Gerinnen; Forschungsarbeiten auf dem gebiete des ingenieurwesens
od: Fleytag L. Ludwig
Izdano: (1921)

Symbolic Logic
od: Makridis, Odysseus
Izdano: (2022)

Advances in Mathematics Education Research on Proof and Proving An International Perspective /
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)

New Directions for Mathematics Education Research on Proving Honoring the Legacy of John and Annie Selden /
Izdano: (2025)

Heft 230 : Elastizitat und Festigkeit von Spezialstahlen bei hohen Temperaturen; Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
od: Welter G. Georg
Izdano: (1921)

Creativity proves a key ingredient for success; Импульс-2013
od: Mukovnikova E. K.
Izdano: (2013)

Statecraft in Symbols Policy and the Life of the Chinese Nation /
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)

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)

Symbols and the Image of the State in Eurasia
od: Sengupta, Anita
Izdano: (2017)

Critical Theory and Symbolic Thinking
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)

Jahrgang XXVI, Mitteilungen aus der fachwelt zu "Moderne bauformen"; Moderne bauformen
Izdano: (1927)

Identity and Symbolic Interaction Deepening Foundations, Building Bridges /
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)

Sound, Symbol, Sociality The Aesthetic Experience of Extreme Metal Music /
od: Unger, Matthew
Izdano: (2016)

Reading Lacan’s Seminar VIII Transference /
Izdano: (2020)

Seminars in english lexicology учебное пособие для вузов
od: Воевудская О. М.
Izdano: (Воронеж, ВГУ, 2011)

The Symbolic Politics of European Integration Staging Europe /
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)

Darstellende Geometrie
od: Fucke R. Rudolf
Izdano: (Leipzig, Veb Fachbuchverlag, 1963)

Symbolic Legislation Theory and Developments in Biolaw
Izdano: (2016)

The Symbolism and Communicative Contents of Dreadlocks in Yorubaland
od: Agwuele, Augustine
Izdano: (2016)