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 "Report"
im Bestand: Gesamter Bestand

1 - 10 von 140
<< < > >>


Artikel 1 Negative magnetic resonance imaging in femoral neck stress fracture with joint effusion: a case report [electronic resource]
In: Skeletal radiology 28.3.2016: 1-4
Online Ressource
Bücher 2 Lectures on Jacques Herbrand as a logician
Bremen : DFKI, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 Quantified multimodal logics in simple type theory
Benzmüller, Christoph. - Bremen : DFKI, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Automating access control logics in simple type theory with LEO-II
Benzmüller, Christoph. - Saarbrücken : Univ. des Saarlandes, Fachrichtung Informatik, 2008
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5 Consistency of recursive definitions via shallow confluence of non-orthogonal non-terminating conditional term rewriting systems with any kind of extra variables
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 6 Cut-simulation in impredicative logics
Benzmüller, Christoph. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7 Hilbert's epsilon as an operator of indefinite committed choice
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8 A calculus independent proof data structure
Dietrich, Dominik. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 9 A dialogue manager for the DIALOG demonstrator
Buckley, Mark. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10 A proof representation
Berkelhammer, Jessi. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 10 von 140
<< < > >>


E-Mail-IconAdministration