Βελτιώστε την αναζήτησή σας

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

Ταξινόμηση
Αποτελέσματα
1.
Mathematical Problems from Applied Logic I [electronic resource] Logics for the XXIst Century edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev από
  • Gabbay, Dov M, 1945-
  • Goncharov, Sergei S
  • Zakharyaschev, Michael
Σειρά: International Mathematical Series ; 4
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
2.
Revision, Acceptability and Context [electronic resource] Theoretical and Algorithmic Aspects by Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo από
  • Gabbay, Dov M, 1945-
  • Rodrigues, Odinaldo T
  • Russo, Alessandra
  • SpringerLink (Online service)
Σειρά: Cognitive Technologies
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
3.
Logical Tools for Handling Change in Agent-Based Systems [electronic resource] by Dov M. Gabbay, Karl Schlechta από
  • Gabbay, Dov M, 1945-
  • Schlechta, Karl
  • SpringerLink (Online service)
Σειρά: Cognitive Technologies
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
4.
Handbook of philosophical logic edited by D. M. Gabbay and F. Guenthner από
  • Gabbay, Dov M, 1945- [edt]
  • Guenthner, F [edt]
Έκδοση: 2nd. edition
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Kluwer Academic Publishers 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: Φιλοσοφίας: Not for loan (3)Ταξιθετικός αριθμός: R 160 G, ...
5.
Handbook of defeasible reasoning and uncertainty management systems editors, Dov M. Gabbay, Philippe Smets από
  • Gabbay, Dov M, 1945- [edt]
  • Smets, Philippe [edt]
  • Dubois, Didier [edt]
  • Prade, Henri
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Kluwer Academic Publishers 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 003.54 HAN, ...
6.
Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, C. J. Hogger και J. A. Robinson. από
  • Gabbay, Dov M, 1945- [επιμελητής.]
  • Hogger, Christopher John [επιμελητής.]
  • Robinson, J. A. (John Alan) [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Oxford : Clarendon Press, 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 HAN.
7.
Neural-symbolic learning systems foudations and applications Artur S. d'Avila Garcez, Krysia B. Broda and Don M. Gabbay από
  • D'Avila Garcez, Artur S, 1970-
  • Broda, Krysia B, 1949-
  • Gabbay, Dov M, 1945-
Σειρά: Perspectives in neural computing
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer 2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.32 DAV, ...
8.
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum από
  • Abramsky, Samson, 1953- [επιμελητής.]
  • Gabbay, Dov M, 1945- [επιμελητής.]
  • Maibaum, Thomas S. E, 1947- [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Oxford : Clarendon Press, 1992-2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (3)Ταξιθετικός αριθμός: Π 004.015 113 HAN, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud