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

Logical Foundations of Computer Science

Sergei Artemov • Anil Nerode

Pocket

1009:-

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:-

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

    1009:-
  2. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    1009:-
  3. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    1409:-
  4. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    1009:-
  5. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    1009:-
  6. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Artemov

    Pocket

    1009:-
  7. bokomslag Logical Foundations of Computer Science

    Logical Foundations of Computer Science

    Anil Nerode Sergei Adian

    Pocket

    1009:-
  8. bokomslag Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Re...

    Anil Nerode Ulrich Furbach

    Pocket

    1009:-
  9. bokomslag Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Re...

    V Wiktor Marek, Anil Nerode, Miroslaw Truszcynski

    Pocket

    1009:-
  10. bokomslag Automata Theory and its Applications

    Automata Theory and its Applications

    Anil Nerode Bakhadyr Khoussainov

    Inbunden

    1039:-

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

    2659:-
  3. bokomslag Automata Theory and its Applications

    Automata Theory and its Applications

    Anil Nerode Bakhadyr Khoussainov

    Inbunden

    1039:-
  4. bokomslag Justification Logic

    Justification Logic

    Sergei Artemov

    Inbunden

    2079:-
  5. bokomslag Automata Theory and its Applications

    Automata Theory and its Applications

    Anil Nerode Bakhadyr Khoussainov

    Pocket

    1009:-
  6. bokomslag Logic for Applications

    Logic for Applications

    Richard A Shore Anil Nerode

    Pocket

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

    Algebraic Curves and Riemann Surfaces...

    Noam Greenberg Anil Nerode

    Pocket

    889:-
  8. bokomslag Logic and Computer Science

    Logic and Computer Science

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

    Pocket

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

    Logical Foundations of Computer Scien...

    Mikhail Taitslin Anil Nerode

    Pocket

    1009:-
  10. bokomslag Hybrid Systems

    Hybrid Systems

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

    Pocket

    1009:-