Erscheinungsjahr
Medientyp
Datenquelle
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 -
Bemessung von Stahltragwerken für den Brandfall. Neue Entwicklungen
Tema Archiv | 2000|Schlagwörter: mathematischer Beweis -
Resolution auf Kleinrechnern: 'Taschenrechner' und 1-Klauseln-Verfahren auf einem Z80-System
Tema Archiv | 1985|Schlagwörter: MATHEMATISCHER BEWEIS -
Zu einem technischen Problem mit 'extremen' Parametern
Tema Archiv | 1984|Schlagwörter: MATHEMATISCHER BEWEIS -
Facetten-Logik: eine untypische Logik zum prototypischen Schliessen
Tema Archiv | 1986|Schlagwörter: MATHEMATISCHER BEWEIS -
Ueber unnormale Voegel, anwendbare Regeln und einen Default-Beweiser
Tema Archiv | 1986|Schlagwörter: MATHEMATISCHER BEWEIS -
Zur Rekonstruktion von Wissen in neueren Repraesentationssprachen der kuenstlichen Intelligenz
Tema Archiv | 1986|Schlagwörter: MATHEMATISCHER BEWEIS -
Spürnase. Adaptive Filter in der Signalverarbeitung, Teil 1: Funktionsprinzip der Adaption
Tema Archiv | 1994|Schlagwörter: mathematischer Beweis -
Zur Quantifizierung der Stetigkeit der Stromerzeugung
Tema Archiv | 2011|Schlagwörter: mathematischer Beweis -
Verifizierende Teststrategien fuer ausgewaehlte Programmklassen
Tema Archiv | 1988|Schlagwörter: MATHEMATISCHER BEWEIS -
Programmentwicklung mit Hilfe von Zusicherungen
Tema Archiv | 1983|Schlagwörter: MATHEMATISCHER BEWEIS -
Repraesentation und Verarbeitung von zeitlichem Wissen
Tema Archiv | 1989|Schlagwörter: MATHEMATISCHER BEWEIS -
Problemloesen mit PROLOG - 2., ueberarb. u. erw. Aufl.
Tema Archiv | 1987|Schlagwörter: MATHEMATISCHER BEWEIS -
Algorithmen und Abschätzungen zur Ausregelung linearer, zeitinvarianter Differenzensysteme unter Stellgrößenbeschränkung
Tema Archiv | 1989|Schlagwörter: MATHEMATISCHER BEWEIS -
Automatisches Beweisen fuer Logiksysteme, in denen Widersprueche behandelt werden koennen
Tema Archiv | 1987|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.