EbookNetworking

Home Categories Authors Publishers Blog Popular

Home / Authors / BjÃ¸rner, Nikolaj

Books by BjÃ¸rner, Nikolaj

All books by this author

1 books found

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, WrocÅ‚aw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803)

Automated Deduction -- CADE-23: 23rd International Conferen…

By: BjÃ¸rner, Nikolaj

View Details

EbookNetworking.net

Your destination for books worldwide. Find, compare, and buy books at the best prices.

Categories Authors Publishers Best Deals Popular Books Blog

Contact Us

USA: +1 (252) 525-4646

India: +91 9815611999

© 2026 EbookNetworking.net — All rights reserved.