von Christian G. Ferm Ller Andrei Voronkov
Taschenbuch
ISBN: 978-3-642-16243-5
ISBN-10: 3-642-16243-6
Springer · 2011
|
|
von Christian G. Ferm Ller Andrei VoronkovTaschenbuch ISBN: 978-3-642-16243-5 ISBN-10: 3-642-16243-6 Springer · 2011 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| Taschenbuch | Logic for Programming, Artificial Intelligence, and Reasoning | |