adicionar à lista de desejos
Isabelle/Hol eBook
A Proof Assistant For Higher-Order Logic
idioma: inglês
Editor:
Springer Berlin Heidelberg, julho de 2003 ‧
ver detalhes do produto
66,24€
10% DESCONTO
CARTÃO
T0dsR1IzcG5ORlZzSzBNemRYWmhaR1ZpTWxnM2VFVldXa1JyT0ZkTWRIUjRSbElyZVhaRkwwZENiMUpLZEhCNlVuRXJWWEl5VURkdGRYVkNaVUZTYUU5dlVIVmplVFphZW5kS1YyTnRTQ3RIYzBjemFqVXlMME5IZVVONVdVRktkVTUyVG5aa1ZURlBNMk4xZVU1VmNVNUZORFoyU0dzek4yeGhkbTlyT1ZSc1lqWkZUVlpWVUhGUlpuaEhPVGxsUWs5SGFURTJaRUZrT0VObkwwSkRUaTlSZUc1amRuZEtNVk56YVhwT1JrZDVWekZ5WTFKcEswcDRkSG8yYlhkaFUyTnpaVWwzUzBsQ2NrbGpiMEpOV1dZclYyTmpSVlZDUlhKUE5YcEtWalZCZGxKbVFWQTBSRlJtVVVkREwyMUJjVVV4ZG5odFdrVkNiR1ZaY0ZCck16RjBSekJNWWt0UlJWbEVjRTFPZW5sU2RtSkpiWHBMYUVwbE4xSkliREZ3V201WEwyRjRMemhUY1VSd1pIcDVVVVZNU2pGaFNtdE1TMUJaYzBsUllWZzBXbE51SzFoMWVqVmpjRzVyVEVSVmFFUm9hbGxJYWxGa1pUVmFVbXN2VEZkSGJVZG9kVzQyVVZFNGNqWXJhMmhvTkdWd1dtbEtVbEJwYzNjeGFtb3ljbVIxYnpacVNXOW9SbGRLVnpGa2VHRm9PV2x1V2t0UFExTlFRV0pNV2xKbFpUTlRSMVkyVWxoQlVFdDRVVzVuTkZGSFVrdFZjM1Z0TlU5RFNERjBjbHB3YlhZdlIyMWFlamRqTVdoelVEY3pNbXRtVDNWclZUQk5PSGxHU0VZdllrUklOa0ZYU3poV2NqSjNRMUpSTDFabVRHOUhaWGRzVVhoQ1luZHJUWGhWYWxWTFprRTNZa1pHTlZRMlJqUkxka05JY205b00wdFdZMUE0WVhaSGIyVnhkV3Q1VmpWMlFWbFZia1p2UTFsTE5rNHpWREZMVVhSRFNVSlNVV3ROZWtaQ1dXRnZTVk5oUTNsUVl6RnZOM2hZYTFKamVGaFdNV2hITjFKQmFGSkNOVUppWXpZM2JrZFJXVFpJWVhaNlNXbHpiMnhvWm5WMFFVUkJNazV2UW5SS1Z6UlVNbmhUVGtwdVowa3pRa0ZUWTJSWGIySkVSVkZ6VlZFd05sZzROalE1Y0hWeE9UaGljVElyTW5WaE9HY3haVkpTU0VWelUzQjBiRkpTYkVKYWJFMDVkMlJTUVZaR1JrbHpVR2xMY1RoVk5XUlVOQ3Q1ZUhCVWIyNUpaRU50WWtsTlRuUnhURWRSUFE9PTpLR2tUV0JCVkxCbHlmYUs0bkwrdTNRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783540459491 |
| Editor: | Springer Berlin Heidelberg |
| Data de Lançamento: | julho de 2003 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Lecture Notes In Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9783540459491 |
LIVROS DA MESMA COLEÇÃO
-
10%Security And Cryptography For NetworksSpringer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
Pré-lançamento10%Combinatorial Optimization And ApplicationsSPRINGER VERLAG, SINGAPORE103,41€
114,90€portes grátis
-
10%Concrete SemanticsSpringer International Publishing AG95,31€ 10% CARTÃOportes grátis
-
10%Concrete SemanticsSpringer International Publishing AG67,58€ 10% CARTÃOportes grátis