Journal of automated reasoning
| Μορφή: | Επιστημονικό περιοδικό |
|---|---|
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Dordrecht, Holland ; Boston :
D. Reidel Pub. Co.,
1985-
|
| Θέματα: | |
| Διαθέσιμο Online: |
http://link.springer.com/journal/10817 http://firstsearch.oclc.org/journal=0168-7433;screen=info;ECOIP |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 01057nas a22002771 4500 | ||
|---|---|---|---|
| 001 | 1/50834 | ||
| 008 | 011115c19859999ne bnzp a0eng d | ||
| 022 | |a 0168-7433 | ||
| 035 | |l 23030 | ||
| 090 | |a Αλφαβητική σειρά | ||
| 245 | 0 | 0 | |a Journal of automated reasoning |
| 260 | |a Dordrecht, Holland ; |a Boston : |b D. Reidel Pub. Co., |c 1985- | ||
| 300 | |a v. : |b ill. ; |c 24 cm. | ||
| 310 | |a 8 no. a year | ||
| 321 | |a 6 no. a year, |b 1998 | ||
| 362 | 0 | |a Vol.20, no.1/3(April 1998)-v.23, no.3/4(Nov. 1999) | |
| 362 | 0 | |a Vol.26, no.1(2001)- | |
| 546 | |a English | ||
| 535 | 0 | |a Κλειστό Βιβλιοστάσιο. | |
| 650 | 4 | |a Artificial intelligence |v Periodicals. | |
| 650 | 4 | |a Automatic theorem proving |v Periodicals. | |
| 856 | 4 | 1 | |u http://link.springer.com/journal/10817 |
| 856 | 4 | 1 | |u http://firstsearch.oclc.org/journal=0168-7433;screen=info;ECOIP |
| 950 | |c ΑΡΧΕΙΟ ΠΕΡΙΟΔΙΚΩΝ |d 429 | ||
| 951 | |a Vol.26 no.1(2001) - (v.29 no.3/4(2002) |b Main run | ||
| 951 | |a Vol.20 no.1/3(April 1998) - (v.23 no.3/4(Nov. 1999)) |b Main run | ||