Catalogo · 9783540451303
Theorem Proving in Higher Order Logics
ISBN 9783540451303
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Rippling
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Labelled Deduction
David Basin
Applied Information Security
David Basin
Principles of Security and Trust
David Basin
Complete Guide to SCION
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin
Automated Reasoning
David Basin, Michael Rusinowitch
Verba volant · scripta manent