Κανονική προβολή
Προβολή MARC
- Paulson, Lawrence C
Paulson, Lawrence C (Personal Name)
Machine generated authority record.
Work cat.: (GR-PaULI)69580: Kaufmann, Matt 100360, Interactive Theorem Proving, 2010
Machine generated authority record.
Work cat.: (GR-PaULI)69580: Kaufmann, Matt 100360, Interactive Theorem Proving, 2010
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα Τηλ: 2610969621, Φόρμα επικοινωνίας |