Wir werden es ihnen zeigen! Aufsätze zu Ehren von Dov Gabbay. Band 1

Wir werden es ihnen zeigen! Aufsätze zu Ehren von Dov Gabbay. Band 1 (S. Artemov)

Originaltitel:

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

Inhalt des Buches:

Dieses Buch bietet einen unschätzbaren Überblick über die Reichweite der Logik.

Es verweist auf einige der wichtigsten, gut etablierten Ergebnisse der Logik und bietet gleichzeitig einen Einblick in die neuesten Forschungsfragen auf diesem Gebiet. Das Buch bietet ein ausgewogenes Verhältnis zwischen Theorie und Praxis und enthält Aufsätze zu den Bereichen Modallogik, intuitionistische Logik, Logik und Sprache, nicht-monotone Logik und logische Programmierung, temporale Logik, Logik und Lernen, Kombination von Logiken, praktisches Denken, Logik und künstliche Intelligenz, Abduktion, Theorem Proving und zielgerichtetes Denken.

Das Buch ist eine unschätzbare Lektüre für Forscher und Doktoranden in Logik und Informatik und eine fabelhafte Inspirationsquelle für Forschungsstudenten, die auf der Suche nach einem Thema für eine Promotion in Logik und theoretischer Informatik sind.

Weitere Daten des Buches:

ISBN:9781904987116
Autor:
Verlag:
Einband:Taschenbuch
Erscheinungsjahr:2005
Seitenzahl:804

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Wir werden es ihnen zeigen! Aufsätze zu Ehren von Dov Gabbay. Band 1 - We Will Show Them! Essays in...
Dieses Buch bietet einen unschätzbaren Überblick...
Wir werden es ihnen zeigen! Aufsätze zu Ehren von Dov Gabbay. Band 1 - We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)