Erscheinungsjahr
Medientyp
Datenquelle
Fach
Synonyme wurden verwendet für: mathematischer Beweis
Suche ohne Synonyme: keywords:("mathematischer Beweis")
Verwendete Synonyme:
- mathematical justification
- mathematical proof
- mathematische rechtfertigung
-
Oracle-dependent properties of the lattice of NP sets
Tema Archiv | 1983|Schlagwörter: MATHEMATISCHER BEWEIS -
Computing argumentation semantics in answer set programming
Tema Archiv | 2009|Schlagwörter: mathematischer Beweis -
Mathematical justification of thermosyphon effect main parameters for solar heating system
Freier ZugriffTaylor & Francis Verlag | 2020|Schlagwörter: mathematical justification -
Reconsideration of a therorem on admissible ordered search algorithms
Tema Archiv | 1976|Schlagwörter: MATHEMATISCHER BEWEIS -
On the hardness of approximating minimization problems
Tema Archiv | 1994|Schlagwörter: mathematischer Beweis -
On relaxation algorithms in computation of noncooperative equilibria
Tema Archiv | 1994|Schlagwörter: mathematischer Beweis -
Complexity of synthesizing inductive assertions
Tema Archiv | 1977|Schlagwörter: MATHEMATISCHER BEWEIS -
Ein Beweis des Satzes: Keine Wurzel eines Polynoms n-ten Grades in s mit positiven Koeffizienten (oder null) kann sich im Sektor args/kleiner als pi/n finden
Tema Archiv | 1983|Schlagwörter: MATHEMATISCHER BEWEIS -
On the existence and uniqueness of solutions in adaptive control systems
Tema Archiv | 1993|Schlagwörter: mathematischer Beweis -
Three-partite graphs and the complexity of algorithms
Tema Archiv | 1985|Schlagwörter: MATHEMATISCHER BEWEIS -
Neural network for solving linear programming problems with bounded variables
Tema Archiv | 1995|Schlagwörter: mathematischer Beweis -
A new proof of the discrete-time bounded-real lemma and lossless bounded-real lemma
Tema Archiv | 1987|Schlagwörter: MATHEMATISCHER BEWEIS -
A note on the multiplicative property of the Smith normal form
Tema Archiv | 1972|Schlagwörter: MATHEMATISCHER BEWEIS -
Stability analysis of linear neutral systems with multiple time delays
Tema Archiv | 2005|Schlagwörter: mathematischer Beweis -
Specification methods and partial construction of theory by computer
Tema Archiv | 1982|Schlagwörter: MATHEMATISCHER BEWEIS
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.