Μετάβαση στο περιεχόμενο
  • Γλώσσα
    • 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
    • اللغة العربية
Σύνθετη
  • Structures in logic and comput...
  • Τεκμήρια
  • Εμφάνιση παραπομπής
  • Αποστολή με SMS
  • Αποστολή με email
  • Αποθήκευση
    • Αποθήκευση σε RefWorks
    • Αποθήκευση σε EndNoteWeb
    • Αποθήκευση σε EndNote
Εξώφυλλο

Structures in logic and computer science : a selection of essays in Honor of A. Ehrenfeucht ; Eds Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa.

Άλλοι συγγραφείς: MYCIELSKI, JAN, ROZENBERG, GRZEGORZ, SALOMAA, ARTO, Mycielski, Jan, Rozenberg, Grzegorz, Salomaa, Arto
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin : Spinger, 1997
Σειρά:Lecture note in computer science ; 1261
Θέματα:
Ενέργεια βιβλιοθήκες
LOGIG, SYMBOLIC AND MATHEMATICAL
COMPUTER SCIENCE
SYMBOLIC LOGIG
PROOF THEORY
Λογική, συμβολική και μαθηματική
Επιστήμη των υπολογιστών
Logic, Symbolic and mathematical
Computer science > Mathematics
  • Τεκμήρια
  • Περιγραφή
  • Παρόμοια τεκμήρια
  • Λεπτομερής προβολή

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

  • Symbolic logic/
    ανά: Copi, Irving M.
    Έκδοση: (1979)
  • Handbook of logic in computer science/
    Έκδοση: (1992)
  • Logic and structure/
    ανά: Dalen, D. van 1932-
    Έκδοση: (2004)
  • The logic of knowledge bases /
    ανά: Levesque, Hector J., 1951-
    Έκδοση: (2000)
  • A Mathematical introduction to logic/
    ανά: Enderton, Herbert B.
    Έκδοση: (2001)

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

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

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

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

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

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