Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

Ergebnis der Suche nach: tit all "Proof planning with multiple strategies."
im Bestand: Gesamter Bestand

1 - 5 von 5

	1	Proof Planning Limit Problems with Multiple Strategies Meier, Andreas. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	2	Proof planning with multiple strategies Meier, Andreas, [2007]
	3	Proof planning limit problems with multiple strategies Meier, Andreas. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
	4	Proof planning with multiple strategies Meier, Andreas, 2004
	5	Proof planning with multiple strategies Melis, Erica. - Saarbrücken : Univ., Fachbereich Informatik, 1999