Jens Brandt & Klaus Schneider 
Theorem Proving in Higher Order Logics [PDF ebook] 
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Wsparcie
€57.59
Metody Płatności
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● ISBN 9783540745914 ● Redaktor Jens Brandt & Klaus Schneider ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2007 ● Do pobrania 6 czasy ● Waluta EUR ● ID 6320243 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

16 603 Ebooki w tej kategorii