Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Mittwoch, 30. August 2017, ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsfestes geschlossen. // The German National Library in Frankfurt am Main will be closed on Wednesday, 30 August 2017, due to a staff event.
 
 
 


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 [Elektronische Ressource]
Schütt, Barbara. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 10 ART Modularisierung von Induktionsbeweisen über Gleichungsspezifikationen [Elektronische Ressource]
Eschbach, Robert. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource


1 - 10 von 16
<< < > >>


E-Mail-IconAdministration