Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Theorem Proving with LEAN  + ( #lean:tu-dresden.de )
• Theorem Proving with LEAN  + ( #lean:tu-dresden.de )
• Theorem Proving with LEAN  + ( #lean:tu-dresden.de )

• Theoretische Informatik und Logik  + ( #theolog2021:tu-dresden.de )
• Theoretische Informatik und Logik  + ( #theolog2022:tu-dresden.de )
• Theoretische Informatik und Logik  + ( #theolog:tu-dresden.de )
• Theorem Proving with LEAN  + ( #theorem-proving-with-lean-2022:tu-dresden.de )
• Sarah Alice Gaggl  + (@gaggl:tu-dresden.de)
• Markus Krötzsch  + (@kroetzsc:tu-dresden.de)
• Larry González  + (@lgonzale:tu-dresden.de)
• Meghna Bhadra  + (@mebh157a:tu-dresden.de)
• Piotr Gorczyca  + (@pigo271b:tu-dresden.de)
• Alex Ivliev  + (@s0803460:tu-dresden.de)
• Lukas Gerlach  + (@s8339654:tu-dresden.de)
• Maximilian Marx  + (@s9616726:tu-dresden.de)
• Sebastian Rudolph  + (@serudolp:tu-dresden.de)
• Stefan Ellmauthaler  + (@stel830c:tu-dresden.de)
• Stephan Mennicke  + (@stme795c:tu-dresden.de)