Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

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