5 research outputs found
Ramsey Quantifiers over Automatic Structures: {C}omplexity and Applications to Verification
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- 01/01/2022
- Field of study
Eingesandte Bücher
- Author
- A Bergsträßer
- A Geering
- A Spemann
- A Vogedes
- A Wicher
- B Heiseier von
- B Kummer
- B Russell
- B Schultze
- C M Bowra
- Carmina cantabrigiensia.
- D Gerber
- D Jost
- Dante Alighieri
- E Aeppli
- E Hoppe
- E Lachmann
- E Müller
- E Rollett
- E Rosenstock-Huessy
- F Chiappelli
- F Hiebei
- F Kafka
- F Leyen von der
- F Villon
- F W Heerikhuizen
- G Eis
- G Franz
- G Joseph
- G Nebel
- H A Maier
- H Derselbe
- H Fichtenau
- H Kindermann
- H Kunisch
- H P Löwenstein zu
- H Schneider
- H Scrensen
- H Seidler
- J Gebser
- J Pieper
- J Ruusbroec van
- J u Maritain
- K u Helm
- K Voßler
- L Weisgerber
- L Wolff
- M Bense
- M Enzinger
- M Hattingberg
- M Schultes
- O F Bollnow
- O Funke
- O Oberholzer
- P Jobit
- R Mühlher
- R Stamm
- S Guyer
- S Schmida
- U Emde
- U Sprenger
- W Brooks van
- W Hartlieb von
- W Kosch
- W Rehm
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Literatur
- Author
- A Gohritz
- A Laschet
- A Lindmayer
- A Szabo
- A Toppe
- A Weckenmann
- A Weckenmann
- AD Boother
- B Neupert
- B Neupert
- Bronstein-Semendjajew
- Bundesgesetzblatt 1
- C Razim
- D Liedtke
- D Liedtke
- D Loebnitz
- D Munz
- DIN 3960/90
- DIN 3960/90 Begriffe und Bestimmungsgrößen für Stirnräder und Stimradpaare mit Evolventenverzahnung/Tragfägigkeitsberechnung von Stimrädem
- DIN 3961/62 Toleranzen für Stirnradverzahnungen
- DIN Begriffe
- DIN Stirnrädern
- DIN Teile
- DIN Toleranzen
- DIN Wärmebehandlung
- DIN Zienkewitz
- E Saljé
- EJ Mittemeijer
- F Klingelnberg
- F Pohl
- F Tesch
- F Tesch
- FJ Joachim
- Fresen. G.
- G Bartsch
- G Klingenberg
- G Niemann
- G Schmidt
- G Schott
- G Stade
- H Brugger
- H Brugger
- H Hertz
- H Kampa
- H Krapfenbauer
- H Krapfenbauer
- H Krapfenbauer
- H Krapfenbauer
- H Leube
- H Mushardt
- H Rettig
- H Saljé
- H Schriefer
- H Schriefer
- H Schumann
- H Winter
- H Winter
- H Winter
- H-J Krumholz
- HI Faulstich
- HJ Neumann
- HJ Stadtfeld
- HJ Stadtfeld
- HJ Warnecke
- HM Hiersig
- HR Mente
- HW Müller
- I Meier
- JH Blackburn
- JM Lambert
- K Hutterer
- K Klotter
- K Schlötermann
- K Schlötermann
- K Vossen
- KH Gallagher
- KH Gallagher
- KH Kloos
- KH Kloos
- L Sachs
- Liedtke. D.
- Lübcke
- M Bergsträßer
- M Bosch
- M Hanke
- M Heckl
- M Hofschneider
- M Klöcker
- M Koch
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Weck
- M Week
- M Week
- M Week
- M Week
- ML Baxter
- Noren. T. M.
- OC Zienkewitz
- P Ostcr
- Pfauter-Werkzeugmaschinenfabrik
- Plaul. U.
- R Bierlich
- R Chatterjee-Fischer
- R Eschmann
- R Grund
- R Hase
- R Leibensberger
- R Wiechem
- RB Murphy
- S Baker
- S Lachenmaier
- T Hösel
- U Huber-Gomman
- U Wyss
- V Bömecke
- V Hauk
- VDI
- W König
- W König
- W König
- W König
- W König
- W König
- W Möllers
- W Pitsch
- W Wepner
- W Wiedeking
- W. König
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1992
- Field of study