Books listed by ISBN
>
Springer
> H. J. Burckert
H. J. Burckert
title
ISBN-13
(ISBN-10)
year of publication
A Resolution Principle for a Logic With Restricted Quantifiers
978-O-387-55O34-3
(O-387-55O34-8)
1992
H B
·
H.J.
·
Hans-Jurgen Burckert
·
J.B.
H J Burkard