Katalog der Deutschen Nationalbibliothek

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

1791 - 1794 von 1794

	1791	Proof Theory Schütte, Kurt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1977
	1792	Die Grundlagen der Mathematik Hilbert, David. - Wiesbaden : Vieweg+Teubner Verlag, 1928
	1793	Divisible designs with dual translation group Enthalten in Designs, codes and cryptography Bd. 43, 3.4.2007, Nr. 1, date:4.2007: 41-45
	1794	Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III Enthalten in Künstliche Intelligenz Bd. 34, 18.10.2019, Nr. 1, date:3.2020: 105-108