Μετάβαση στο περιεχόμενο
VuFind
  • Γλώσσα
    • English
    • Ελληνικά
Σύνθετη
  • Αναζήτηση
  • Logic programming
  • Εμφάνιση παραπομπής
  • Αποστολή με SMS
  • Αποστολή με email
  • Εκτύπωση
  • Αποθήκευση
    • Αποθήκευση σε EndNoteWeb
    • Αποθήκευση σε BibTeX
    • Αποθήκευση σε RIS
  • Μόνιμος σύνδεσμος
Logic programming operational semantics and proof theory

Logic programming operational semantics and proof theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Andrews, James H.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: [x.τ.] Cambridge University Press 1992
Σειρά:Distinguished dissertations in computer science
Θέματα:
Λογικός προγραμματισμός
Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού
  • Τεκμήρια
  • Περιγραφή
  • Πίνακας περιεχομένων
  • Παρόμοια τεκμήρια
  • Λεπτομερής προβολή
Περιγραφή
Φυσική περιγραφή:xi, 104 p. 26 cm
ISBN:0521432197

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

  • Logic, programming and Prolog
    ανά: Nilsson, Ulf
    Έκδοση: (1995)
  • Inductive logic programming from machine learning to software engineering
    ανά: Bergadano, Francesco
    Έκδοση: (1995)
  • Third international conference on logic programming : Imperial Colege of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /
    Έκδοση: (1986)
  • Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah.
    Έκδοση: (1986)
  • Field programmable gate arrays : reconfigurable logic for rapid prototyping and implementation of digital systems /
    ανά: Oldfield, John V., 1933-
    Έκδοση: (1995)

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

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

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

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

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

  • Συμβουλές αναζήτησης
  • Ερώτηση σε βιβλιοθηκονόμο
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud