Μετάβαση στο περιεχόμενο
  • Γλώσσα
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
Σύνθετη
  • Descriptive complexity /
  • Τεκμήρια
  • Εμφάνιση παραπομπής
  • Αποστολή με SMS
  • Αποστολή με email
  • Αποθήκευση
    • Αποθήκευση σε RefWorks
    • Αποθήκευση σε EndNoteWeb
    • Αποθήκευση σε EndNote
Εξώφυλλο

Descriptive complexity /

Κύριος συγγραφέας: Immerman, Neil
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York: Springer, c1999
Σειρά:Graduate texts in computer science
Θέματα:
Computational complexity
Logic, Symbolic and mathematical
Mathematics
Logic
Computation
Computer science
Computational complexity > Congresses
Logic, Symbolic and mathematical > Congresses
Model theory > Congresses
  • Τεκμήρια
  • Περιγραφή
  • Παρόμοια τεκμήρια
  • Λεπτομερής προβολή

Παρόμοια τεκμήρια

  • Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 /
    Έκδοση: (1998)
  • Extensions of first order logic /
    ανά: Manzano, Mari?a
    Έκδοση: (1996)
  • From logic to logic programming /
    ανά: Doets, Kees
  • Finite model theory/
    ανά: Ebbinghaus, Heinz-Dieter, 1939-
    Έκδοση: (1999)
  • Computability and complexity : from a programming perspective.
    ανά: Jones, Neil D.
    Έκδοση: (1997)

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
  • Ερώτηση σε βιβλιοθηκονόμο
Φορτώνει......
Cannot write session to /tmp/vufind_sessions/sess_cb65m2l682akqs9ehtj305uk60