UNIVERSITY LIBRARY CATALOGUE

Journal of automated reasoning

Material type: Continuing resourceContinuing resourcePublication details: Dordrecht, Netherlands : Kluwer Academic publishers, 1985-Description: v: ill.; 24cmISSN:
  • 0168-7433
Subject(s): DDC classification:
  • 511.3
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Latest issue consulted: Vol. 11, no. 3 (1994)

There are no comments on this title.

to post a comment.
Share