Katalog der Deutschen Nationalbibliothek

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