Αποτελέσματα
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
Logic, programming and Prolog Ulf Nilsson and Jan Mauszynski από
- Nilsson, Ulf
- Matuszynski, Jan
Έκδοση: 2nd edition
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Chichester John Wiley 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.11 N.
|
|
17.
|
|
|
18.
|
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, ...
|