Computers‚ Reasoning and Mathematical
Ursula Martin
Book Title
Computational Logic
Organisation
Springer Science & Business Media
Pages
301
Volume
165
Year
2012
Ursula Martin