Handbook of logic in computer science
Αποθηκεύτηκε σε:
| Άλλοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Oxford ; New York :
Clarendon Press ; Oxford University Press,
1992-
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/27351 | ||
| 008 | 941103m1992 enk ||| | eng|| | ||
| 020 | |a 0198537352 | ||
| 020 | |a 0198537611 | ||
| 035 | |l 10037804 | ||
| 035 | |a 1993 |c Παναγιωτόπουλος | ||
| 035 | |a 1995 |c Χατζησάββας | ||
| 040 | |a GR-MyUA |b gre |e AACR2 | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 004.0202 |2 (20) | |
| 245 | 1 | 0 | |a Handbook of logic in computer science / |c edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum. |
| 260 | |a Oxford ; |a New York : |b Clarendon Press ; |b Oxford University Press, |c 1992- | ||
| 300 | |a 2 τ. : |b εικ. ; |c 25 εκ. | ||
| 504 | |a Περιέχει βιβλιογραφικές αναφορές και ευρετήριο. | ||
| 505 | 0 | |a Τ. 1. Background, mathematical structure -- τ. 2. Background, computational structure | |
| 650 | 0 | 0 | |a Computer science. |
| 650 | 0 | 0 | |a Logic, Symbolic and mathematical. |
| 700 | 1 | |a Abramsky, Samson |d 1953- |e edt | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- |e edt | |
| 700 | 1 | |a Maibaum, Thomas S. E., |d 1947- |e edt | |
| 740 | 0 | 2 | |a Background: Mathematical Structures |
| 740 | 0 | 2 | |a Background: Computational Structures |
| 852 | |a INST |b SAMOS |e 19941103 |h 004.0202 HAN |p 005300004402 |q 005300004402 |t BK |y 0 |z v.1 | ||
| 852 | |a INST |b SAMOS |e 19941103 |h 004.0202 HAN |p 005300004403 |q 005300004403 |t BK |y 0 |z v.2 | ||
| 852 | |a INST |b SAMOS |e 19950526 |h 004.0202 HAN |p 005300005488 |q 005300005488 |t BK |y 0 |z v.1 | ||
| 852 | |a INST |b SAMOS |e 19950526 |h 004.0202 HAN |p 005300005489 |q 005300005489 |t BK |y 0 |z v.2 | ||
| 852 | |a INST |b SAMOS |e 19941103 |h 004.0202 HAN |p 005300004402 |q 005300004402 |t BK |v v.1: |y 0 |z v.1 | ||
| 852 | |a INST |b SAMOS |e 19941103 |h 004.0202 HAN |p 005300004403 |q 005300004403 |t BK |v v.2: |y 0 |z v.2 | ||
| 852 | |a INST |b SAMOS |e 19950526 |h 004.0202 HAN |p 005300005488 |q 005300005488 |t BK |v v.1: |y 0 |z v.1 | ||
| 852 | |a INST |b SAMOS |e 19950526 |h 004.0202 HAN |p 005300005489 |q 005300005489 |t BK |v v.2: |y 0 |z v.2 | ||
| 853 | |a INST |b SAMOS |h 004.0202 HAN | ||
| 909 | |a Σ |b 026904 | ||
| 909 | |a Σ |b 026905 | ||
| 909 | |a Σ |b 038967 | ||
| 909 | |a Σ |b 038968 | ||