Normal view MARC view

International Conference on Logic Programming and Automated Reasoning, LPAR ((St. Petersburg, Russia) : 1992) (Meeting Name)

Number of records used in: 1
Preferred form: International Conference on Logic Programming and Automated Reasoning, LPAR ((St. Petersburg, Russia) : 1992)

Machine generated authority record.

Work cat.: (AT-ISTA): LPAR (Conference) (3rd : 1992 : Saint Petersburg, Russia) 21091, Logic programming and automated reasoning :, ©1992.

Powered by Koha