rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
  name:
    name part: Στεφανέας, Πέτρος Σ.
    role:
      role term: creator
  name:
    name part: Εθνικό Μετσόβιο Πολυτεχνείο
    role:
      role term: Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών
    role:
      role term: Τομέας Μαθηματικών
  type of resource: text
  origin info:
    place:
      place term: gr
    place:
      place term: Αθήνα
    publisher: [χ.ό.]
    date issued: 2001
    issuance: monographic
  language:
    language term: gre
  physical description:
    form: print
    extent: 155 σ. σχήμ., πίν. 30 εκ.
  note: Πέτρου Σ. Στεφανέα; Εθνικό Μετσόβειο Πολυτεχνείο
  note: Διδακτορική διατριβή
  note: Περιλαμβάνει βιβλιογραφία
  subject:
    topic: Λογική, Συμβολική και μαθηματική
  subject:
    topic: Ηλεκτρονικοί υπολογιστές
    topic: Γλώσσες προγραμματισμού
  subject:
    topic: Μαθηματικά
    topic: Πληροφορική
  classification: 511.3
  location:
    physical location: GR-PaULI ΠΑΤΡΑ ΒΚΠ ΑΝΕ
  record info:
    record content source: GR-PaULI
    record creation date: 020313
    record change date: 20240529141409.0
    record identifier: 10043418