Εξώφυλλο

Summary goes here

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Θέματα:
Automatic theorem proving
Artificial intelligence
Théorèmes
Intelligence artificielle
Informatique.
Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
computerwetenschappen
computer sciences
programmeren
programming
computernetwerken
computer networks
programmeertalen
programming languages
operating systems
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MU Online Library

Λεπτομέρειες τεκμηρίων από MU Online Library
Ταξινομικός Αριθμός: missing
Αντίγραφο 0 AVAILABLE
Σημειώσεις:
  • json {"id":"e981604e-0bf2-57d8-a658-9e780c5585d1","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261507977","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-11-02T12:04:38.480528285Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-11-02T12:04:38.687904796Z"}