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 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Στοιχεία έκδοσης: |
Vol.20, no.1/3(April 1998)-v.23, no.3/4(Nov. 1999) Vol.26, no.1(2001)- |
|---|---|
| Φυσική περιγραφή: |
v. : ill. ; 24 cm. |
| Συχνότητα δημοσίευσης: |
8 no. a year |
| ISSN: |
0168-7433 |