Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

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

1 - 4 von 4

	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, Heidelberg : Springer Berlin Heidelberg, 2013
	3	Automated deduction Berlin : Springer, 2002
	4	Logic for Programming and Automated Reasoning Cham : Springer Nature Switzerland, 1999

1 - 4 von 4

Alle Materialarten > Online Ressourcen (4)

Alle Standorte

Aktionen

Administration