A computational logic handbook Robert s. Boyer and J. Strother Moore auth.

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

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

ΚείμενοΣειρά: Academic Press International Series in Formal Methods / Micahel G. HincheyΛεπτομέρειες δημοσίευσης: San Diego Academic Press 1998Έκδοση: 2nd edΠεριγραφή: xxv,518pISBN:

Θέμα(τα):

Ταξινόμηση DDC:

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [Not For Loan]	ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο	005.131 BOY (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Δε δανείζεται		025000284158

Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών. Εργαστήριο Συνδυαστικών Αλγορίθμων

Κοινοποίηση