Bücher nach ISBN
>
Springer
> Christian G. Ferm Ller Andrei Voronkov
Christian G. Ferm Ller Andrei Voronkov
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Logic for Programming, Artificial Intelligence, and Reasoning
978-3-642-16243-5
(3-642-16243-6)
2011
C.F.
·
C. G.
·
C L
·
G *** F
·
G L.
Christian G. Fermüller