Katalog der Deutschen Nationalbibliothek

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

661 - 670 von 722

	661	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
	662	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	663	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	664	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	665	Advances in equational theorem proving Löchner, Bernd, 2005
	666	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	667	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	668	Algebraic closures in complexity theory Böhler, Elmar, 2005
	669	Algebraic closures in complexity theory Böhler, Elmar, 2005
	670	Ambiguity functions of context-free grammars and languages Wich, Klaus, 2005