bokomslag Computer Science Logic
Data & IT

Computer Science Logic

Zoltn Sik

Pocket

1519:-

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

Uppskattad leveranstid 10-15 arbetsdagar

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

  • 627 sidor
  • 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
  • Författare: Zoltn Sik
  • Format: Pocket/Paperback
  • ISBN: 9783540454588
  • Språk: Engelska
  • Antal sidor: 627
  • Utgivningsdatum: 2006-09-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K