Κανονική προβολή Προβολή MARC Προβολή ISBD

Theory of Deductive Systems and Its Applications

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: MIT Press Series in the Foundations of ComputingΛεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1987Περιγραφή: x, 151pΘέμα(τα):

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

Προηγούμενο				Η εικόνα εξωφύλλου δεν είναι διαθέσιμη	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη			Επόμενο
Προηγούμενο	511.3 LER Degrees of unsolvability	511.3 LI An introduction to Kolmogorov complexity and its applications /	511.3 LI An introduction to Kolmogorov complexity and its applications /	511.3 MAS Theory of Deductive Systems and Its Applications	511.3 MIK Algebraic and structural automata theory	511.3 OLD Nets, Terms and Formulas	511.3 OLD Nets, Terms and Formulas	Επόμενο

Βιβλιογραφία: σσ.149-151 περιέχει προβλήματα

Κοινοποίηση