Normal view
MARC view
LPAR (Conference) (3rd : 1992 : Saint Petersburg, Russia) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): LPAR (Conference) (3rd : 1992 : Saint Petersburg, Russia), Logic programming and automated reasoning :, ©1992.