Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings D. Kapur (ed.)

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Lecture notes in artificial intelligence ; 607Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1992Περιγραφή: xv, 793 p. 26 cmISBN:

Θέμα(τα):

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

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

Includes index

Κοινοποίηση