Automated deduction - CADE-12 proceedings Alan Bundy (Ed.)

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

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

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

Θέμα(τα):

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

Ελλιπή περιεχόμενα:

Includes references and author index

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

Προηγούμενο			Η εικόνα εξωφύλλου δεν είναι διαθέσιμη					Επόμενο
Προηγούμενο	006.3 ART Artificial intelligence at MIT expanding frontiers	006.3 ART Artificial intelligence at MIT expanding frontiers	006.3 B Formal techniques in artificial intelligence	006.3 B Automated deduction - CADE-12	006.3 B Evolutionary algorithms in theory and practice	006.3 B Neural network computing	006.3 B Prolog	Επόμενο

Includes references and author index

Κοινοποίηση