We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1
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.
| ISBN: | 9781904987116 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2005 |
| Seitenzahl: | 804 |
Derzeit verfügbar, auf Lager.
