Handbook of logic in artificial intelligence and logic programming
Αποθηκεύτηκε σε:
| Άλλοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Oxford : Oxford : New York :
Clarendon Press, Oxford University Press,
1993-<1998>
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/27328 | ||
| 008 | 941103m1995 eng d | ||
| 020 | |a 019853745X (v.1) | ||
| 020 | |a 0198537468 (v.2) | ||
| 020 | |a 0198537476 (v.3) | ||
| 020 | |a 0198537913 (v.4) | ||
| 020 | |a 0198537921 (v.5) | ||
| 035 | |l 10037798 | ||
| 035 | |a 1993 |c ΠΑΝΑΓΙΩΤΟΠΟΥΛΟΣ | ||
| 040 | |a GR-MY-UA |b gre |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 006.3 | |
| 245 | 1 | 0 | |a Handbook of logic in artificial intelligence and logic programming / |c edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson |
| 260 | |a Oxford : |a Oxford : |a New York : |b Clarendon Press, |b Oxford University Press, |c 1993-<1998> | ||
| 300 | |a v. 5; |b ill.; |c 25 cm. | ||
| 504 | |a Includes bibliographical references and index | ||
| 505 | 0 | |a v. 1: Logical foundations -- v. 2: Deduction methodologies -- v. 3: Nonmonotonic reasoning and uncertain reasoning -- v. 4: Epistemic and temporal reasoning -- v. 5: Logic programming | |
| 650 | 0 | 0 | |a Logic programming. |
| 650 | 0 | 0 | |a Artificial intelligence. |
| 650 | 0 | 0 | |a Logic, Symbolic and mathematical. |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e edt | |
| 700 | 1 | |a Hogger, Christopher John, |e edt | |
| 700 | 1 | |a Robinson, J. A. |q (John Alan) |e edt | |
| 740 | 0 | 2 | |a Logical foundations |
| 740 | 0 | 2 | |a Epistemic and temporal reasoning |
| 740 | 0 | 2 | |a Logic programming |
| 740 | 0 | 2 | |a Deduction methodologies |
| 740 | 0 | 2 | |a Nonmonotonic reasoning and uncertain reasoning |
| 852 | |a INST |b SAMOS |e 19941103 |h 006.3 HAN |p 005300004404 |q 005300004404 |t BK |y 0 |z v.1 | ||
| 852 | |a INST |b SAMOS |e 19990602 |h 006.3 HAN |p 005300012891 |q 005300012891 |t BK |y 0 |z v.4 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016135 |q 005300016135 |t BK |y 0 |z v.5 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016136 |q 005300016136 |t BK |y 0 |z v.4 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016137 |q 005300016137 |t BK |y 0 |z v.3 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016138 |q 005300016138 |t BK |y 0 |z v.2 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016139 |q 005300016139 |t BK |y 0 |z v.1 | ||
| 852 | |a INST |b SAMOS |e 19941103 |h 006.3 HAN |p 005300004404 |q 005300004404 |t BK |v v.1: |y 0 |z v.1 | ||
| 852 | |a INST |b SAMOS |e 19990602 |h 006.3 HAN |p 005300012891 |q 005300012891 |t BK |v v.4: |y 0 |z v.4 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016135 |q 005300016135 |t BK |v v.5: |y 0 |z v.5 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016136 |q 005300016136 |t BK |v v.4: |y 0 |z v.4 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016137 |q 005300016137 |t BK |v v.3: |y 0 |z v.3 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016138 |q 005300016138 |t BK |v v.2: |y 0 |z v.2 | ||
| 852 | |a INST |b SAMOS |e 19991219 |h 006.3 HAN |p 005300016139 |q 005300016139 |t BK |v v.1: |y 0 |z v.1 | ||
| 853 | |a INST |b SAMOS |h 006.3 HAN | ||
| 901 | |a BIBL3-1999-2 | ||
| 901 | |a BIBL3-1999-3 | ||
| 909 | |a Σ |b 028565 | ||
| 909 | |a Σ |b 063690 | ||
| 909 | |a Σ |b 071369 | ||
| 909 | |a Σ |b 071370 | ||
| 909 | |a Σ |b 071371 | ||
| 909 | |a Σ |b 071372 | ||
| 909 | |a Σ |b 071373 | ||
| 922 | |a 3ΕΛΗ |b 199901 |c ΚΠΣ |d GLORY | ||
| 922 | |a 3ΕΛΗ |b 199912 |c ΤΠΕΣ |d ΠΑΠΑΣΩΤΗΡΙΟΥ | ||
| 970 | |a ΓΕΝΟΥΖΟΥ |b ΧΡΥΣΑΝΘΗ |z 1999/12/19 | ||