Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Montag, 25. Juni, öffnet die Deutsche Nationalbibliothek in Frankfurt am Main wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellung des Deutschen Exilarchivs ist von 9 bis 21:30 Uhr geöffnet.
 
Neuigkeiten Am Dienstag, 26. Juni, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Personalversammlung erst ab 12 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 

Helfen Sie uns, noch besser zu werden!
Wir entwickeln unseren Katalog weiter. Dabei sind wir auf Ihre Unterstützung angewiesen. Ihre Rückmeldung hilft uns, Ihre Wünsche bei der Weiterentwicklung unserer Dienste einzubeziehen. Teilen Sie uns mit, was Ihnen an unserem Angebot gefällt, was wir besser machen können und was Sie vermissen.
Senden Sie uns Ihre Anregungen und Kritik über das Kontaktformular.

 
 


Ergebnis der Suche nach: "SEKI" and "Working" and "Paper"
im Bestand: Gesamter Bestand

1 - 10 von 16
<< < > >>


Bücher 1 Automating quantified multimodal logics in simple type theory
Benzmüller, Christoph. - Bremen : German Research Center for Artificial Intelligence (DFKI GmbH) [u.a.], 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2 Granularity adaptive proof presentation
Schiller, Marvin. - Bremen : German Research Center for Artificial Intelligence (DFKI GmbH) [u.a.], 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 On requirements for programming exercises from an e-learning perspective
Loría-Sáenz, Carlos. - Saarbrücken : Univ., Fachrichtung Informatik, 2008
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Thomas S. Kuhn: the structure of scientific revolutions
Saarbrücken : Univ., Fachrichtung Informatik, 2007
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5 A self-contained and easily accessible discussion of the method of descente infinie and Fermat's only explicitly known proof by descente infinie
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 6 Dependently typed set theory
Brown, Chad E.. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7 Progress in computer-assisted inductive theorem proving by human-orientedness and descente infinie?
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8 Designing a GUI for proofs
Homik, Martin. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 9 A Mathematical Knowledge Base for Proving Theorems in Semigroup and Automata Theory
Schütt, Barbara. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 10 ART Modularisierung von Induktionsbeweisen über Gleichungsspezifikationen
Eschbach, Robert. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource


1 - 10 von 16
<< < > >>


E-Mail-IconAdministration