Books listed by ISBN
>
Rinton Pr Inc
> John A Kalman
John A Kalman
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Automated Reasoning With Otter
978-1-58949-OO4-8
(1-58949-OO4-5)
2001
John Arnold Kalman
A. K.
·
J. A.
·
J.K
·
John A.
·
John Arnold Kalman
·
John K.
John A. Kane