Erscheinungsjahr
Datenquelle
Fach
Format
Lizenz
Sprache
Synonyme wurden verwendet für: mathematischer Beweis
Suche ohne Synonyme: keywords:("mathematischer Beweis")
Verwendete Synonyme:
- mathematical justification
- mathematical proof
- mathematische rechtfertigung
-
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 -
Facetten-Logik: eine untypische Logik zum prototypischen Schliessen
Tema Archiv | 1986|Schlagwörter: MATHEMATISCHER BEWEIS -
Verifizierende Teststrategien fuer ausgewaehlte Programmklassen
Tema Archiv | 1988|Schlagwörter: MATHEMATISCHER BEWEIS -
Algorithmen und Abschätzungen zur Ausregelung linearer, zeitinvarianter Differenzensysteme unter Stellgrößenbeschränkung
Tema Archiv | 1989|Schlagwörter: MATHEMATISCHER BEWEIS -
LQG-Kostenbeschränkungen in zeitdiskreten H2/H-Unendlichkeits-Regelungen
Tema Archiv | 1991|Schlagwörter: MATHEMATISCHER BEWEIS -
Maschinell beweisen. Die logischen Grundlagen
Tema Archiv | 1986|Schlagwörter: MATHEMATISCHER BEWEIS -
Prolog und Logik. Der Beweismechanismus von Prolog und seine logischen Grundlagen, Teil 2
Tema Archiv | 1988|Schlagwörter: MATHEMATISCHER BEWEIS -
Syllogistisches Schliessen unter Unsicherheit - eine empirische Studie zu moeglichen Anwendungen der Fuzzy-Set-Theorie in wissensbasierten Systemen
Tema Archiv | 1987|Schlagwörter: MATHEMATISCHER BEWEIS -
Ueber die Graphen, die den Permutationen assoziiert sind
Tema Archiv | 1988|Schlagwörter: MATHEMATISCHER BEWEIS -
Algebraische Spezifikation und Korrektheit von Compilern
Tema Archiv | 1985|Schlagwörter: MATHEMATISCHER BEWEIS -
Effiziente Reduktionsstrategien in Termersetzungssystemen
Tema Archiv | 1986|Schlagwörter: MATHEMATISCHER BEWEIS -
Das Skolem-Problem und verwandte Entscheidungsprobleme
Tema Archiv | 1986|Schlagwörter: MATHEMATISCHER BEWEIS -
Fehlerrechnung in der Messtechnik fuer den Praktiker. Teil 8
Tema Archiv | 1979|Schlagwörter: MATHEMATISCHER BEWEIS -
Schnelle Extraktion und Verifikation von Programmen durch Beweisanalyse
Tema Archiv | 1985|Schlagwörter: MATHEMATISCHER BEWEIS -
Ein regelbasiertes Klauselgraph-Beweisverfahren
Tema Archiv | 1983|Schlagwörter: MATHEMATISCHER BEWEIS -
Rechner-Output wird durch neues Verfahren einfacher überprüfbar. Mathematik hilft Informatikern
Tema Archiv | 1992|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.