Erscheinungsjahr
Fach
Format
Lizenz
Synonyme wurden verwendet für: mathematischer Beweis
Suche ohne Synonyme: keywords:("mathematischer Beweis")
Verwendete Synonyme:
- mathematical justification
- mathematical proof
- mathematische rechtfertigung
-
On safeguarding statistical disclosure giving approximate answers to queries
Tema Archiv | 1977|Schlagwörter: MATHEMATISCHER BEWEIS -
Equational inference, canonical proofs, and proof orderings
Tema Archiv | 1994|Schlagwörter: mathematischer Beweis -
Joining k-and l- recognizable sets of natural numbers
Tema Archiv | 1992|Schlagwörter: mathematischer Beweis -
Existenz und Einmaligkeit der Lösung des Letov'schen Problems
Tema Archiv | 1990|Schlagwörter: MATHEMATISCHER BEWEIS -
Use of heuristic procedures in search programs for proofs of theorems (survey)
Tema Archiv | 1973|Schlagwörter: MATHEMATISCHER BEWEIS -
Disjunctions in forward chaining logic programming
Tema Archiv | 1987|Schlagwörter: MATHEMATISCHER BEWEIS -
Zu einem technischen Problem mit 'extremen' Parametern
Tema Archiv | 1984|Schlagwörter: MATHEMATISCHER BEWEIS -
Simple proof of algorithmic unsolvability of problems of completeness of automata bases
Tema Archiv | 1973|Schlagwörter: MATHEMATISCHER BEWEIS -
Real-valued decimation-in-time and decimation-in-frequency algorithms
Tema Archiv | 1994|Schlagwörter: mathematischer Beweis -
Expressing program developments in a design calculus
Tema Archiv | 1987|Schlagwörter: MATHEMATISCHER BEWEIS -
Fast verification, testing, and generation of large primes
Tema Archiv | 1979|Schlagwörter: MATHEMATISCHER BEWEIS -
Unfolding and fixpoint semantics of concurrent constraint logic programs
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.