Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 230Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986Περιγραφή: ix, 708p. figISBN:

Θέμα(τα):

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Συλλογή	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [21]	ΒΚΠ - Πατρα Αποθήκη 2.2	Non-fiction	004 AUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο		025000287457

Κοινοποίηση