Books listed by ISBN
>
Springer
> J. Pfalzgraf
J. Pfalzgraf
title
ISBN-13
(ISBN-10)
year of publication
Automated Practical Reasoning
978-O-387-826OO-4
(O-387-826OO-9)
1995
J. P.
·
Jennifer J. Pfalzgraf
·
Jochen Pfalzgraf
J. Pfanzagl