Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 3. bis 8. September 2018 bleibt der Lesesaal der Deutschen Nationalbibliothek in Frankfurt am Main wegen Umbaumaßnahmen geschlossen. Die Ausstellungen des Deutschen Exilarchivs 1933–1945 sind ebenfalls geschlossen.
 

Ihre Meinung ist gefragt!

Umfrage zur Nutzung der Handbibliotheken in den Lesesälen der Deutschen Nationalbibliothek // 16. Juli bis 18. August 2018

 
 


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