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

Logical Foundations of Computer Science

Sergei Artemov • Anil Nerode

Pocket

759:-

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-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    759:-
  2. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    759:-
  3. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    1139:-
  4. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    759:-
  5. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    759:-
  6. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    759:-
  7. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Adian

    Pocket

    759:-
  8. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Yu V Matiyasevich Anil Nerode

    Pocket

    759:-
  9. bokomslag Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Re...

    Anil Nerode Ulrich Furbach

    Pocket

    759:-
  10. bokomslag Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Re...

    V Wiktor Marek, Anil Nerode, Miroslaw Truszcynski

    Pocket

    759:-

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

    259:-
  2. bokomslag Logic for Applications

    Logic for Applications

    Richard A Shore Anil Nerode

    Inbunden

    2109:-
  3. bokomslag Automata Theory and its Applications

    Automata Theory and its Applications

    Anil Nerode Bakhadyr Khoussainov

    Inbunden

    789:-
  4. bokomslag Justification Logic

    Justification Logic

    Sergei Artemov

    Inbunden

    2669:-
  5. bokomslag Automata Theory and its Applications

    Automata Theory and its Applications

    Anil Nerode Bakhadyr Khoussainov

    Pocket

    789:-
  6. bokomslag Logic for Applications

    Logic for Applications

    Richard A Shore Anil Nerode

    Pocket

    759:-
  7. bokomslag Algebraic Curves and Riemann Surfaces for Undergraduates

    Algebraic Curves and Riemann Surfaces...

    Noam Greenberg Anil Nerode

    Pocket

    939:-
  8. bokomslag Logic and Computer Science

    Logic and Computer Science

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

    Pocket

    389:-
  9. bokomslag Logical Foundations of Computer Science - Tver '92

    Logical Foundations of Computer Scien...

    Mikhail Taitslin Anil Nerode

    Pocket

    759:-
  10. bokomslag Hybrid Systems

    Hybrid Systems

    Robert L Grossman, Anil Nerode, Anders P Ravn, Hans Rischel

    Pocket

    759:-