Model checking and artificial intelligence / edited by Doron Peled, Mike Wooldridge

Κατά:

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

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

ΚείμενοΓλώσσα: Greek, Modern (1453- ) Σειρά: Workshop proceedings / University of PatrasΛεπτομέρειες δημοσίευσης: Patras : University of Patras, 2008Περιγραφή: [126] σ. ; 30 εκISBN:

Θέμα(τα):

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

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

Περιέχει βιβλιογραφικές παραπομπές

Κοινοποίηση