Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=511*
im Bestand: Gesamter Bestand

681 - 690 von 722

	681	Explanation of independence Adler, Hans, 2005
	682	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
	683	From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, [2005]
	684	Higher gap morasses Cárdenas, Franqui, 2005
	685	Higher gap morasses Cárdenas, Franqui, 2005
	686	Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien Schröder, Markus Karl Friedrich, 2005
	687	Komplexität von Gitterproblemen Seifert, Jean-Pierre, [2005]
	688	Konstruktion von Isomorphieklassen orientierter Matroide Gugisch, Ralf. - Bayreuth : Math. Inst. der Univ., 2005
	689	Olique graphs Schreyer, Jens, 2005
	690	On designs and graph decompositions with certain prescribed properties Grüttmüller, Martin, 2005