adicionar à lista de desejos
Isabelle/Hol eBook
A Proof Assistant For Higher-Order Logic
language: english
Publisher:
Springer Berlin Heidelberg, July of 2003 ‧
see product details
66,24€
10% OFF
CARD
VVRsU2QyUTVUWFZxUWs1NFZYVnNWU3RqYTBKSVZ6aHFTR041U0RCd2QySnlXa3d2UkZCcWRuUlhabFpuTURBMk5ESlRhSE5uVHk5NU5UVXlaRVphUTB0RE5tcHJVRmhOV2s1bE9ISmtXV1UzTjB4RGQzZ3pVVXBpSzJFd0swNVpjVTlJVVM5Q1JWcEhNVmRLT1d4MGEyRmtMekphV1hsYVF5OXZibGRQWXk5R2VVSkxVbGRTZFhSM1JuQktiVlZYVTNsUk4yeEdSRzlTTWxOQ1VuSnlXWE5DYWtSRlVIUnllbHBqVjB0T1l5OTVUMWRoZW5sQllYQmljRk5GZWpKVU4wNHdjV1p2Y0hGM2NDdHpaa2hrU25NeVRUTkJhV0pKYVM5eGJVWTJUVzFyTTBsMVduVmxaVmR4ZWs1UGEwTkxlR3RpYVRJNVQzSkNPV05ZT1dwRGVWcFJWMDl0WTBSbWQwUnRTeXRXTVZKMVRIb3dlSFYxY25aUU1rcEtNRUo1Y25SVU5VSk5OemRwTldSdmF6WjNiSFI2TTFrMU9FcFZObFZVZUdRelpVWlZOa1UxVUVoRFdFWjRXVWxGZEUwdlRVZFVWVlpwTlRVNGRYbHZiM1k1YWtwc0x6RmxWbWhhTTJwMWQxY3diMGRsTnpaRVoxcG5abTVsZDA4d09HbHpPRkZ5VTBGSmFGRmpMMlZ2U1ZCd2VWRkhSR1o1WldsbVJXbEZTM0J5UTJWQlpFdEJNMmgwU1dKVFlsbHlaRTEzUWxWdldubExkRXhpY21oQmNsQm9LelozUmtWa2JVOUZWazFwY1hwRk4zbE9lVzFMVURaWVpVSTRaRFJ6YUZsbWEwUnlNbXcyZUhWcFRYZzNjM0JHWVRCemJHZG1kVlZtZFc1VloweHNNMUJXUlV3MVJEVjBlSFJMY0dGV1MwTkZVSFp3YTBwUVNXMTNTa1pTUjNWVFRIUkliWGh4YlhablZrdFRTMHByUldkelNUUlRObEIyUW1NeE5VYzFNRkpMYUZaaFYxSmxZbTE1T1dnMkswMW1kVEV3VWtkTE1YTTFNMWQ2Tm1WaFptOTROVGxIUm1KVVFqaFZNRkV4ZG5jNVEyUlhUa2h6TTB4RE5qbHhkbko2YlhwUlJDc3JaR1pHVDNoR1QzaHBSa2xZVW5kRE5YSlFhM1ZyTVhBeUwxSkhia1pQTURkM2NuRmhhRkJ4UWxGWWVXVTFOalpwV0N0RmVtWlFWSE5EYUVnMU9YTlVjMUpRUjNZNFRHd3lSbXBsVjBGNmJFbHJVMDV5WWpSMGVDOWxNbEZ4YW5CUmMzUnJaemhGUFE9PTp1LzcrKy80ZzNCTkNvbE9wd1A1WklRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783540459491 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | July of 2003 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Lecture Notes In Computer Science |
| Categories: |
eBooks in English
>
Social Sciences and Humanities
>
Philosophy
|
| EAN: | 9783540459491 |
BOOKS FROM THE SAME COLLECTION
-
10%Security And Cryptography For NetworksSpringer International Publishing AG60,82€ 10% CARDfree shipping
-
Pre-order10%Combinatorial Optimization And ApplicationsSPRINGER VERLAG, SINGAPORE103,41€
114,90€free shipping
-
10%Concrete SemanticsSpringer International Publishing AG95,31€ 10% CARDfree shipping
-
10%Concrete SemanticsSpringer International Publishing AG67,58€ 10% CARDfree shipping