Automated reasoning introduction and applications Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle

Κατά:

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

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

ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Englewood Cliffs, NJ Prentice-Hall 1984Περιγραφή: xiv, 482 p. 24 cmISBN:

Θέμα(τα):

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

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

Includes references and index

Κοινοποίηση