Formal techniques in artificial intelligence : a sourcebook
Αποθηκεύτηκε σε:
| Άλλοι συγγραφείς: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Amsterdam ; New York, N.Y., U.S.A. :
North-Holland : Distributors for the United States and Canada, Elsevier Science Pub. Co.,
1990.
|
| Σειρά: | Studies in computer science and artificial intelligence ;
6 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/33973 | ||
| 008 | 941103s1990####ne | ||| |||| ||eng|| | ||
| 020 | |a 0444881301 | ||
| 035 | |a 1991 |c ΔΑΡΖΕΝΤΑΣ |l 10039514 | ||
| 040 | |a GR-MyUA |b gre |e AACR2 | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 006.3 | |
| 245 | 1 | 0 | |a Formal techniques in artificial intelligence : |b a sourcebook / |c edited by Ranan B. Banerji. |
| 260 | |a Amsterdam ; |a New York, N.Y., U.S.A. : |b North-Holland : |b Distributors for the United States and Canada, Elsevier Science Pub. Co., |c 1990. | ||
| 300 | |a xi, 437 σ. : |b εικ. ; |c 25 εκ. | ||
| 490 | 1 | |a (Studies in computer science and artificial intelligence |v ; 6) | |
| 500 | |a Includes bibliographical references and index | ||
| 504 | |a Περιέχει βιβλιογραφικές αναφορές και ευρετήριο. | ||
| 650 | 0 | 0 | |a Artificial intelligence. |
| 700 | 1 | |a Banerji, Ranan B., |d 1928- |e edt | |
| 830 | 0 | |a Studies in computer science and artificial intelligence ; |v 6 | |
| 852 | |a INST |b SAMOS |e 19941103 |h 006.3 FOR |p 005300005917 |q 005300005917 |t BK |y 0 | ||
| 909 | |a Σ |b 021724 | ||