Pokażemy im! Eseje na cześć Dova Gabbaya. Tom 1

Oryginalny tytuł:

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

Zawartość książki:

Książka ta stanowi nieoceniony przegląd zakresu logiki.

Zapewnia odniesienie do niektórych z najważniejszych, ugruntowanych wyników w logice, jednocześnie oferując wgląd w najnowsze zagadnienia badawcze w tej dziedzinie. Zapewnia również równowagę między teorią a praktyką, zawierając eseje z zakresu logiki modalnej, logiki intuicjonistycznej, logiki i języka, logiki niemonotonicznej i programowania logicznego, logiki temporalnej, logiki i uczenia się, kombinacji logik, praktycznego rozumowania, logiki i sztucznej inteligencji, abdukcji, dowodzenia twierdzeń i rozumowania ukierunkowanego na cel.

Będzie to nieoceniona lektura dla badaczy i absolwentów logiki i informatyki, a także wspaniałe źródło inspiracji dla studentów poszukujących tematu doktoratu z logiki i informatyki teoretycznej.