Bücher nach ISBN
>
Springer
> David M. Sandford
David M. Sandford
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Using Sophisticated Models in Resolution Theorem Proving
978-3-54O-1O231-1
(3-54O-1O231-O)
2008
D. M.
·
D. M. Sandford
·
D S
·
David M.
·
David S.
·
M S.
David M. Sandner