01057nas a22002771 4500 1/50834 011115c19859999ne bnzp a0eng d 0168-7433 23030 Αλφαβητική σειρά Journal of automated reasoning Dordrecht, Holland ; Boston : D. Reidel Pub. Co., 1985- v. : ill. ; 24 cm. 8 no. a year 6 no. a year, 1998 Vol.20, no.1/3(April 1998)-v.23, no.3/4(Nov. 1999) Vol.26, no.1(2001)- English Κλειστό Βιβλιοστάσιο. Artificial intelligence Periodicals. Automatic theorem proving Periodicals. http://link.springer.com/journal/10817 http://firstsearch.oclc.org/journal=0168-7433;screen=info;ECOIP ΑΡΧΕΙΟ ΠΕΡΙΟΔΙΚΩΝ 429 Vol.26 no.1(2001) - (v.29 no.3/4(2002) Main run Vol.20 no.1/3(April 1998) - (v.23 no.3/4(Nov. 1999)) Main run