Temporal Logic

Name: Temporal Logic
Brand: Springer
SKU: 9789048145843
Price: 829.14 RON
Availability: InStock

From Ancient Ideas to Artificial Intelligence

Autor: Peter, Per Hasle

Limbă:

Legare: Carte broșată

Editura: Springer

Disponibilitate: În depozitul extern

Expediem în 8-11 zile

829.14 lei

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

Informații despre carte

Autor

Peter, Per Hasle

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

416

EAN

9789048145843

ISBN

9048145848

Enbook ID

01973540

Editura

Springer

Greutate

637

Dimensiuni

152 x 229 x 24

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Temporal Logic

From Ancient Ideas to Artificial Intelligence

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și