bokomslag We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1
Data & IT

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

S Artemov H Barringer A A Garcez

Pocket

479:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 804 sidor
  • 2005
This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Logic Programming, Temporal Logic, Logic and Learning, Combination of Logics, Practical Reasoning, Logic and Artificial Intelligence, Abduction, Theorem Proving, and Goal-Directed Reasoning. It will be invaluable reading for researchers and graduate students in Logic and Computer Science, and a fabulous source of inspiration for research students in search of a topic for a PhD in logic and theoretical computer science.
  • Författare: S Artemov, H Barringer, A A Garcez
  • Format: Pocket/Paperback
  • ISBN: 9781904987116
  • Språk: Engelska
  • Antal sidor: 804
  • Utgivningsdatum: 2005-10-01
  • Förlag: College Publications