Showing 1 - 1 results of 1 for search 'Pfenning Frank' Refine Results
  1. 1
    Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
    by Pfenning Frank
    Published 1994
    Book
Search Tools: RSS Feed – Email Search