Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Donnerstag, 21. März, schließt die Deutsche Nationalbibliothek in Leipzig wegen einer Veranstaltung um 15:30 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 20 Uhr geöffnet.
 
Neuigkeiten Geänderte Servicezeiten ab 1. März 2019 an der Information in Frankfurt am Main: Montag bis Freitag von 9–12 Uhr und 13–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours as of 1 March 2019 at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–12:00 and 13:00–18:00, Saturday: 10:00–16:00
 
 
 


Ergebnis der Suche nach: swiRef=041244087
im Bestand: Gesamter Bestand

1 - 4 von 4
<< < > >>


Online Ressourcen 1 Automatisiertes Beweisen durch Vollständige Induktion
Frey, Stefan. - Saarbrücken : AV Akademikerverlag, 2017, 1. Auflage, neue Ausgabe
Online Ressource
Bücher 2 Die vollständige Induktion
Sominskij, Ilʹja Samuilovič. - Berlin : Dt. Verl. der Wiss., 1991, 2. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 Die vollständige Induktion
Sominskij, Ilʹja Samuilovič. - Thun : Deutsch, 1986
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Die vollständige Induktion
Sominskij, Ilʹja Samuilovič. - Berlin : Dt. Verl. d. Wiss., 1986
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 4 von 4
<< < > >>


E-Mail-IconAdministration