Books listed by ISBN
>
Springer
> A. Voronkov
A. Voronkov
title
ISBN-13
(ISBN-10)
year of publication
Logic Programming
978-O-387-5546O-O
(O-387-5546O-2)
1992
A. V.
·
Andrei Voronkov
·
Boris ... [et al.] Voronkov
A. Voronova, V. Ivanova I. Shcheglova