Μετάβαση στο περιεχόμενο
Toggle navigation
Ωκεανός
Υπηρεσία Ενοποιημένης Αναζήτησηςτου Πανεπιστημίου Πειραιώς
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξινομικός #
ISBN/ISSN
Αναζήτηση
Σύνθετη
0
τεκμήρια
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξινομικός #
ISBN/ISSN
Αναζήτηση
Σύνθετη
Συγγραφέας
Socher-Ambrosius, Rolf.
Εμφανίζονται
1
-
1
από
1
για την αναζήτηση:
'Socher-Ambrosius, Rolf.'
, χρόνος αναζήτησης: 0,05δλ
Ταξινόμηση
Με ημερομηνία (φθ.)
Με ημερομηνία (αυξ.)
Με ταξινομικό
Με συγγραφέα
Με τίτλο
Με σχετικότητα
Επιλογή σελίδας | με τα επιλεγμένα:
1
Deduction Systems /
από
Socher
-
Ambrosius
,
Rolf
.
Στοιχεία έκδοσης 1996
Ταξινομικός #:
Φορτώνει......
Βρίσκεται σε:
Φορτώνει......
Βιβλίο
Φορτώνει......
Εμφάνιση κώδικα QR
Στα αγαπημένα
Αποθηκεύτηκε σε:
Επιλογή σελίδας | με τα επιλεγμένα:
Εργαλεία αναζήτησης:
Λήψη RSS
—
Αποστολή αναζήτησης με email
—
Σχετικά θέματα
Autimatic Theorem Proving
×
Φορτώνει......