Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).

Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.

Ergebnis der Suche nach: "121309215"
im Bestand: Gesamter Bestand

1 - 10 von 13

	1	Ext. [extended] abstracts of the 1st German Workshop Term Rewriting Müller, Jürgen. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	2	Programming logics Berlin : Springer, 2013
	3	Programming Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
	4	Automated deduction Berlin : Springer, 2002
	5	Automated deduction Berlin : Springer, 1999
	6	Logic for programming and automated reasoning Berlin : Springer, 1999
	7	Logic for Programming and Automated Reasoning Cham : Springer Nature Switzerland, 1999
	8	Rewriting techniques and applications Berlin : Springer, 1996
	9	Automated complexity analysis based on ordered resolution Basin, David A.. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1995
	10	MARVIN Ganzinger, Harald. - Dortmund : Abt. Informatik, Univ., 1986