Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

Ergebnis der Suche nach: "SEKI" and "Report"
im Bestand: Gesamter Bestand

11 - 20 von 434

	11	A remark on higher order RUE-resolution with ERUE Benzmüller, Christoph. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	12	A Resolution Calculus with Dynamic Sort Structures and Partial Functions Weidenbach, Christoph. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	13	A specialized completion procedure for monadic string-rewriting systems presenting groups Madlener, Klaus. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	14	A Structural Analysis of Modular Termination of Term Rewriting Systems Gramlich, Bernhard. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	15	A Unifying Logical Framework for Reason Maintenance Fehrer, Detlef. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	16	About Changing the Ordering During Knuth-Bendix Completion Sattler-Klein, Andrea. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	17	Adaptation of Declaratively Represented Methods in Proof Planning Huang, Xiaorong. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	18	An Abstraction for Proof Planning Autexier, Serge. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	19	An alternative for handling AC Fuchs, Matthias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	20	An Extensible Natural Calculus for Argument Presentation Huang, Xiaorong. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024

11 - 20 von 434

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (5)

Alle Standorte

Aktionen