Logic programming : formal methods and practical applications /
| Άλλοι συγγραφείς: | Beierle, Christoph, 1954-, Plumer, Lutz, 1951- |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Amsterdam :
Elsevier,
1995
|
| Σειρά: |
Studies in computer science and artificial intelligence ;
11 |
| Ταξινομικός αριθμός: |
005.115 LO |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 00847nam a22002171 4500 | ||
|---|---|---|---|
| 001 | 1/18606 | ||
| 008 | 020121s1995 enk 1 eng d | ||
| 020 | |a 0444820922 | ||
| 035 | |l 19146 | ||
| 040 | |a DLC |b GR-PeUP | ||
| 082 | 0 | 0 | |a 005.115 LO |
| 245 | 0 | 0 | |a Logic programming : |b formal methods and practical applications / |c edited by Christoph Beierle, Lutz Plumer |
| 260 | |a Amsterdam : |b Elsevier, |c 1995 | ||
| 300 | |a xiv, 404 p. : |b ill. ; |c 25 cm. | ||
| 490 | 1 | |a Studies in computer science and artificial intelligence ; | |
| 504 | |a Includes bibliographical references | ||
| 650 | 4 | |a Logic Programming. | |
| 700 | 1 | |a Beierle, Christoph, |d 1954- |e ed. | |
| 700 | 1 | |a Plumer, Lutz, |d 1951- |e ed. | |
| 830 | |a Studies in computer science and artificial intelligence ; |v 11 | ||
| 852 | |a INST |b UNIPILB |c MAIN |e 20040709 |h 005.115 LO |p 00137922 |q 00137922 |t LOAN |y 4 |x 20040519 |4 1 | ||