Bücher nach ISBN
>
Springer
> Windley, Phillip & Alves-Foss, James Schubert
Windley, Phillip & Alves-Foss, James Schubert
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings: ... 8th
978-3-54O-6O275-O
(3-54O-6O275-5)
2009
E
A.A.
·
P. A.
·
P &
·
W.A.
·
W.P.
Windriver Publishing