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

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.

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

1 - 7 von 7

	1	Programming logics Berlin : Springer, 2013
	2	Automated deduction Berlin : Springer, 1999
	3	Logic for programming and automated reasoning Berlin : Springer, 1999
	4	Rewriting techniques and applications Berlin : Springer, 1996
	5	Automated complexity analysis based on ordered resolution Basin, David A.. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1995
	6	MARVIN Ganzinger, Harald. - Dortmund : Abt. Informatik, Univ., 1986
	7	Programs as data objects Berlin : Springer, 1986