Kniha Temporal Logic Peter

Temporal Logic

From Ancient Ideas to Artificial Intelligence

Autor: Peter, Per Hasle
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer
Dostupnost: Skladem u dodavatele
Odesíláme za 8-11 dnů
3 426
Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal log...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2010
Stránek
416
EAN
9789048145843
ISBN
9048145848
Enbook ID
01973540
Vydavatel
Hmotnost
637
Rozměry
152 x 229 x 24

Kompletní popis

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.

Mohlo by vás zajímat

Ignite Me

Tahereh Mafi
167

Analysis for Computer Scientists

Michael Oberguggenberger
1 231

Pulpotomy

Vishal Khandelwal
1 278

Cinematic Art of StarCraft

Blizzard Entertainment
701

Rampage

James M. Scott
409
9 694

Infomojis: Ocean Life

WAYLAND PUBLISHERS
260

Time Machine

Monarch Srivastava
370

Elements of Clojure

Zachary Tellman
453

Metamorphosis

Mint Editions
113
1 447

Flexible Dieting Cookbook

Caleb Njoku Caleb
351

Wicca Encyclopedia

Chamberlain Amanda Chamberlain
570

Promotion

Varvara Babei
255

Deep Water

James Bradley
511
1 293

Zákaznicí kteří koupili tuto knihu koupili také

C++ fur Ingenieure

Harald Nahrstedt
953
65
269

Italia

Claudia Martin
240

Astronomie minute

Giles Sparrow
401

Johannes Gutenberg

Christine Schulz-Reiss
409
741

Foe

J. M
226
358

La fuente de la edad

Luis Mateo Díez
480