( en | de | ru )

 

Disambiguierung von "Krug, Robert Bellarmine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Meta Reasoning in ACL2.

, , , , und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Robert Krug

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Joachim Krug

David Krug

Walter Krug

 

Weitere Publikationen von Autoren mit dem selben Namen

Linear and Nonlinear Arithmetic in ACL2., , und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 319-333. Springer, (2003)Meta Reasoning in ACL2., , , , und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2005)Mechanized Information Flow Analysis through Inductive Assertions., , , und . FMCAD, Seite 1-4. IEEE, (2008)Building a Hypervisor on a Formally Verifiable Protection Layer., , , , und . HICSS, Seite 5069-5078. IEEE Computer Society, (2013)