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

• Nested Sequents for Intuitionistic Modal Logics via Structural Refinement  + (Nested Sequents for Intuitionistic Modal Logics via Structural Refinement)
• Nested Sequents for Quantified Modal Logics  + (Nested Sequents for Quantified Modal Logics)
• Neue Entwicklungen in der Informatikausbildung  + (Neue Entwicklungen in der Informatikausbildung)
• Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl  + (Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl)
• Neue Mitarbeiterin: Dr. Lucía Gómez Álvarez  + (Neue Mitarbeiterin: Dr. Lucía Gómez Álvarez)
• Neue Mitarbeiterin: Dr. Luisa Herrmann  + (Neue Mitarbeiterin: Dr. Luisa Herrmann)
• Neue Version der adf_bdd-Bibliothek!  + (Neue Version der adf_bdd-Bibliothek!)
• Neue offene Stelle: Projektkoordinator/in  + (Neue offene Stelle: Projektkoordinator/in)
• Neuer Mitarbeiter: Alex Ivliev  + (Neuer Mitarbeiter: Alex Ivliev)
• Neuer Mitarbeiter: Dominik Rusovac  + (Neuer Mitarbeiter: Dominik Rusovac)
• Neuer Mitarbeiter: Dr. Stephan Mennicke  + (Neuer Mitarbeiter: Dr. Stephan Mennicke)
• Neuer Mitarbeiter: Jonas Karge  + (Neuer Mitarbeiter: Jonas Karge)
• Neuer Mitarbeiter: Lukas Gerlach  + (Neuer Mitarbeiter: Lukas Gerlach)
• Neuer Mitarbeiter: M.Sc. Ali Elhalawati  + (Neuer Mitarbeiter: M.Sc. Ali Elhalawati)
• Neuer Mitarbeiter: Piotr Gorczyca  + (Neuer Mitarbeiter: Piotr Gorczyca)
• Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja  + (Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja)
• Neuer Mitarbeiter: Stefan Ellmauthaler  + (Neuer Mitarbeiter: Stefan Ellmauthaler)
• Neuer Mitarbeiter: Tim Lyon  + (Neuer Mitarbeiter: Tim Lyon)
• Neues Online-Portal des International Center for Computational Logic geht ans Netz  + (Neues Online-Portal des International Center for Computational Logic geht ans Netz)
• Neuigkeiten und Termine  + (Neuigkeiten und Termine)
• Neural Machine Translating from Natural Language to SPARQL  + (Neural Machine Translating from Natural Language to SPARQL)
• Neural-Symbolic Integration  + (Neural-Symbolic Integration)
• Neural-Symbolic Integration - Constructive Approaches  + (Neural-Symbolic Integration - Constructive Approaches)
• Neural-Symbolic Integration - Constructive Approaches  + (Neural-Symbolic Integration - Constructive Approaches)
• Neural-Symbolic Integration – Constructive Approaches  + (Neural-Symbolic Integration – Constructive Approaches)
• Neuro-Symbolic Word Tagging  + (Neuro-Symbolic Word Tagging)

• Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen  + (Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen)
• Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen  + (Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen)

• Neva – Extension Visualization for Argumentation Frameworks  + (Neva – Extension Visualization for Argumentation Frameworks)
• New CNF Features and Formula Classification  + (New CNF Features and Formula Classification)
• New Member: Alex Ivliev  + (New Member: Alex Ivliev)
• New Member: Dipl.-Inf Elisa Böhl  + (New Member: Dipl.-Inf Elisa Böhl)
• New Member: Dominik Rusovac  + (New Member: Dominik Rusovac)
• New Member: Dr. Lucía Gómez Álvarez  + (New Member: Dr. Lucía Gómez Álvarez)
• New Member: Dr. Luisa Herrmann  + (New Member: Dr. Luisa Herrmann)
• New Member: Dr. Stephan Mennicke  + (New Member: Dr. Stephan Mennicke)
• New Member: Jonas Karge  + (New Member: Jonas Karge)
• New Member: Lukas Gerlach  + (New Member: Lukas Gerlach)
• New Member: M.Sc. Ali Elhalawati  + (New Member: M.Sc. Ali Elhalawati)
• New Member: Piotr Ostropolski-Nalewaja  + (New Member: Piotr Ostropolski-Nalewaja)
• New Member: Stefan Ellmauthaler  + (New Member: Stefan Ellmauthaler)
• New Member: Tim Lyon  + (New Member: Tim Lyon)
• New adf_bdd library release!  + (New adf_bdd library release!)
• New open position: project coordinator  + (New open position: project coordinator)
• News about Reasoning with Bit-Vectors  + (News about Reasoning with Bit-Vectors)
• News about Reasoning with Bit-Vectors  + (News about Reasoning with Bit-Vectors)
• News and Events  + (News and Events)
• News on Temporal Conjunctive Queries  + (News on Temporal Conjunctive Queries)
• Next directions in experimental data for seismic hazard mitigation  + (Next directions in experimental data for seismic hazard mitigation)
• NextClosures: Parallel Computation of the Canonical Base  + (NextClosures: Parallel Computation of the Canonical Base)
• NextClosures: Parallel Computation of the Canonical Base  + (NextClosures: Parallel Computation of the Canonical Base)
• Nikolai Käfer  + (Nikolai Käfer)