Série Cambridge Tracts in Theoretical Computer Science

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools,...

• Knihabrožovaná vazba
  Vyprodané

  Mrzí nás to, všechny kusy tohoto titulu se už bohužel prodaly a nemáme ho na skladě my ani distributor :( Teoreticky ale můžete mít štěstí v některých jiných obchodech, které ještě neprodaly poslední kusy.

  Přidat do seznamu

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

• Knihabrožovaná vazba
  Vyprodané

  Mrzí nás to, všechny kusy tohoto titulu se už bohužel prodaly a nemáme ho na skladě my ani distributor :( Teoreticky ale můžete mít štěstí v některých jiných obchodech, které ještě neprodaly poslední kusy.

  Přidat do seznamu