Normal view MARC view

LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia) (Meeting Name)

Number of records used in: 1

Preferred form: LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia)

Machine generated authority record.

Work cat.: (AT-ISTA): LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia), Logic programming and automated reasoning :