Temporal Logic

Name: Temporal Logic
Brand: Springer
SKU: 9789048145843
Price: 634.56 PLN
Availability: InStock

From Ancient Ideas to Artificial Intelligence

Autor: Peter, Per Hasle

Język:

Oprawa: Miękka

Wydawca: Springer

Dostępność: Dostępna u dostawcy

Wysyłamy za 8-11 dni

634.56 zł

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal log...

Informacje o książce

Autor

Peter, Per Hasle

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2010

strony

416

EAN

9789048145843

ISBN

9048145848

Enbook ID

01973540

Wydawca

Springer

Waga

637

Wymiary

152 x 229 x 24

Pełny opis

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Temporal Logic

From Ancient Ideas to Artificial Intelligence

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również