Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Bücher

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 - 3 von 3

	1	Proof planning limit problems with multiple strategies Meier, Andreas. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
	2	Proof planning with multiple strategies Meier, Andreas, 2004
	3	Proof planning with multiple strategies Melis, Erica. - Saarbrücken : Univ., Fachbereich Informatik, 1999