Η αναζήτηση επέστρεψε 8 αποτελέσματα.

Αποτελέσματα
	1.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων Γριβοκοκωστοπούλου Φωτεινής; Πανεπιστήμιο Πατρών, Τμήμα Μαθηματικού ; Πανεπιστήμιο Πατρών, Τμήμα Μηχανικών Η/Υ & Πληροφορικής από Γριβοκωστοπούλου, Φωτεινή Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών] Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Πολυτεχνική Σχολή, Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2009 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΓΡΙ. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P Κεραμυδάς Ελευθέριος ; Πανεπιστήμιο Πατρών από Κεραμύδας, Ελευθέριος Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2004 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΚΕΡ . Προσθήκη στο καλάθι (αφαίρεση)
	3.	Computational logic : symposium proceedings, Brussels, November 13/14, 1990 / J.W. Lloyd (ed.). από Lloyd, J. W. (John Wylie), 1947- [επιμελητής.] Σειρά: ESPRIT basic research series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 1 COM. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Ontic : a knowledge representation system for mathematics / David A. McAllester. από McAllester, David A [συγγραφέας.] Σειρά: Artificial intelligence (Cambridge, Mass.) Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 510.285 63 McA. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Gems of theoretical computer science / Uwe Schöning, Randall J. Pruim. από Schöning, Uwe, 1955- [συγγραφέας] Pruim, Randall J [συγγραφέας] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 SCH. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004.015 113 SCH. Προσθήκη στο καλάθι (αφαίρεση)
	6.	A proof theory for general unification / Wayne Snyder. από Snyder, Wayne, 1955- [συγγραφέας.] Σειρά: Progress in computer science and applied logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Boston : Birkhäuser, 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SNY. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Logical frameworks / edited by Gérard Huet, G. Plotkin. από Huet, Gerard [επιμελητής.] Plotkin, G. (Gordon), 1946- [επιμελητής.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 HUE. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Logical environments / edited by Gérard Huet, Gordon Plotkin. από Huet, Gerard [επιμελητής.] Plotkin, G. (Gordon), 1946- [επιμελητής.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge ; New York, NY, USA : Cambridge University Press, 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 HUE. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας