Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet.
Aktualisiert: 2023-07-02
> findR *
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet.
Aktualisiert: 2023-07-02
> findR *
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet.
Aktualisiert: 2023-07-02
> findR *
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet.
Aktualisiert: 2023-07-02
> findR *
Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Einführung -- 2. Deduktion in der Aussagenlogik -- 3. Deduktion in der Prädikatenlogik -- 4. Verdichtungen und Strategien -- 5. Erweiterungen und Anwendungen -- Anhang -- 1. Aufgaben und Lösungen -- 2. Literatur -- 3. Deutsch-englisches Wörterbuch -- 4. Liste der Symbole -- 5. Register
Aktualisiert: 2023-05-29
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) jährlich einen Preis für eine hervorragende Dissertation im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2022-12-08
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) jährlich einen Preis für eine hervorragende Dissertation im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2022-03-31
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) jährlich einen Preis für eine hervorragende Dissertation im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2021-02-11
> findR *
Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Einführung -- 2. Deduktion in der Aussagenlogik -- 3. Deduktion in der Prädikatenlogik -- 4. Verdichtungen und Strategien -- 5. Erweiterungen und Anwendungen -- Anhang -- 1. Aufgaben und Lösungen -- 2. Literatur -- 3. Deutsch-englisches Wörterbuch -- 4. Liste der Symbole -- 5. Register
Aktualisiert: 2023-03-27
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) jährlich einen Preis für eine hervorragende Dissertation im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2020-07-01
> findR *
Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d.h. des Gebietes der Künstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits die Fragen nach einer formalen Beschreibung von Wissen jeglicher Art, besonders unter dem Aspekt einer maschinellen Verarbeitung in modernen Computern. Andererseits versucht es, das Alltagsschließen des Menschen so zu formalisieren, daß logische Schlüsse auch von Maschinen ausgeführt werden könnten. Das Buch gibt eine ausführliche Einführung in dieses umfangreiche Gebiet. Dem Studenten dient es im Rahmen einer solchen Vorlesung oder zum Selbststudium als umfassende Unterlage, und der Praktiker zieht einen großen Gewinn aus der Lektüre dieses modernen Stoffes, der in dieser Breite bisher nicht verfügbar war. Darüber hinaus leistet das Buch einen wichtigen Beitrag zur Forschung dadurch, daß viele Ansätze auf diesem Gebiet in ihren inneren Bezügen in ihrer Bedeutung klarer erkennbar werden und so eine solide Basis für die zukünftige Forschungsarbeit geschaffen ist. Der Leser ist nach der Lektüre dieses Werkes in der Lage, sich mit Details der Wissenspräsentation und Inferenz auseinanderzusetzen.
Aktualisiert: 2022-02-23
> findR *
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet.
Aktualisiert: 2023-03-14
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) jährlich einen Preis für eine hervorragende Dissertation im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2020-01-21
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) und dem German
Chapter of the ACM (GChACM) jährlich einen Preis für eine hervorragende Dissertation
im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2020-01-21
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) und dem German
Chapter of the ACM (GChACM) jährlich einen Preis für eine hervorragende Dissertation
im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2022-12-27
> findR *
Die Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik
Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) und dem German
Chapter of the ACM (GChACM) jährlich einen Preis für eine hervorragende Dissertation
im Bereich der Informatik. Hierzu zählen nicht nur Arbeiten, die einen Fortschritt in
der Informatik bedeuten, sondern auch Arbeiten aus dem Bereich der Anwendungen in
anderen Disziplinen und Arbeiten, die die Wechselwirkungen zwischen Informatik und
Gesellschaft untersuchen. Die Auswahl dieser Dissertationen stützt sich auf die von den
Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Jede dieser
Hochschulen kann jedes Jahr nur eine Dissertation vorschlagen. Somit sind die im
Auswahlverfahren vorgeschlagenen Kandidatinnen und Kandidaten bereits „Preisträger“
ihrer Hochschule.
Aktualisiert: 2022-12-27
> findR *
Der Inhalt besteht aus Schwarz-/Weiß Texten, Grafiken und Tabellen
Aktualisiert: 2021-02-09
> findR *
Der Inhalt besteht aus Schwarz-/Weiß Texten, Grafiken und Tabellen
Aktualisiert: 2020-01-08
> findR *
Aktualisiert: 2017-03-01
> findR *
Aktualisiert: 2017-03-01
> findR *
MEHR ANZEIGEN
Bücher von Hölldobler, Steffen
Sie suchen ein Buch oder Publikation vonHölldobler, Steffen ? Bei Buch findr finden Sie alle Bücher Hölldobler, Steffen.
Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher
von Hölldobler, Steffen im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die
Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus
unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und
populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich
bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch
von Hölldobler, Steffen .
Hölldobler, Steffen - Große Auswahl an Publikationen bei Buch findr
Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher
von Hölldobler, Steffen die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten
vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher
verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:
Unser Repertoire umfasst Bücher von
- Holldorb, Christian
- Holldorf, A. W.
- Holldorf, Michael
- Holldorf, Nina
- Holldorp, Chr.
- Holle, Amati
- Holle, Arnold
- Holle, Barbara
- Hölle, Björn
- Holle, Britta
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Neben Büchern von Hölldobler, Steffen und Büchern aus verschiedenen Kategorien finden Sie schnell und
einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem
Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die
bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen,
Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen
das Team von Buchfindr.
