Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Frankfurt

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

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

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

1 - 8 von 8

	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
	8	Optimierende Erzeugung von Übersetzerteilen aus formalen, implementierungsorientierten, schrittweise verfeinerten Sprachbeschreibungen Ganzinger, Harald, 1978

1 - 8 von 8

Alle Materialarten > Bücher (8)

Alle Kataloge/Sammlungen

Alle Standorte > Frankfurt (8)

Aktionen

Administration