Logical Foundations of Computer Science 1
bokomslag Logical Foundations of Computer Science
Data & IT

Logical Foundations of Computer Science

Sergei Artemov • Anil Nerode

Pocket

749:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

Andra format:

  • 516 sidor
  • 2007
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
  • Författare: Sergei Artemov, Anil Nerode
  • Format: Pocket/Paperback
  • ISBN: 9783540727323
  • Språk: Engelska
  • Antal sidor: 516
  • Utgivningsdatum: 2007-05-25
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    719:-
  2. bokomslag Automated Reasoning

    Automated Reasoning

    Michael Rusinowitch David Basin

    Pocket

    1469:-
  3. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    749:-
  4. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    1079:-
  5. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    719:-
  6. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    719:-
  7. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    749:-
  8. bokomslag Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Re...

    Anil Nerode Ulrich Furbach

    Pocket

    749:-
  9. bokomslag Justification Logic

    Justification Logic

    Melvin Fitting Sergei Artemov

    Inbunden

    1989:-
  10. bokomslag Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Re...

    V Wiktor Marek, Anil Nerode, Miroslaw Truszcynski

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Logic Programming and Non-Monotonic Reasoning

    Logic Programming and Non-Monotonic R...

    Anil Nerode Luis Moniz Pereira

    Pocket

    269:-
  2. bokomslag Logic for Applications

    Logic for Applications

    Richard A Shore Anil Nerode

    Inbunden

    1989:-
  3. bokomslag Automata Theory and its Applications

    Automata Theory and its Applications

    Anil Nerode Bakhadyr Khoussainov

    Inbunden

    719:-
  4. bokomslag Recursion Theory

    Recursion Theory

    Richard A Shore Anil Nerode

    Inbunden

    2229:-
  5. bokomslag Justification Logic

    Justification Logic

    Melvin Fitting Sergei Artemov

    Inbunden

    1989:-
  6. bokomslag Automata Theory and its Applications

    Automata Theory and its Applications

    Anil Nerode Bakhadyr Khoussainov

    Pocket

    749:-
  7. bokomslag Logic for Applications

    Logic for Applications

    Richard A Shore Anil Nerode

    Pocket

    719:-
  8. bokomslag Algebraic Curves and Riemann Surfaces for Undergraduates

    Algebraic Curves and Riemann Surfaces...

    Noam Greenberg Anil Nerode

    Pocket

    859:-
  9. bokomslag Logic and Computer Science

    Logic and Computer Science

    Steven Homer, Anil Nerode, Richard A Platek, Gerald E Sacks, Andre Scedrov

    Pocket

    369:-
  10. bokomslag Logical Foundations of Computer Science - Tver '92

    Logical Foundations of Computer Scien...

    Mikhail Taitslin Anil Nerode

    Pocket

    719:-