Normal view MARC view

Voronkov, Andrei, 1959- (Personal Name)

Preferred form: Voronkov, Andrei, 1959-

Machine generated authority record.

Work cat.: (AT-ISTA): LPAR (Conference) (2001 : Havana, Cuba) 16225, Logic for programming, artificial intelligence, and reasoning :, ©2001.

Powered by Koha