adicionar à lista de desejos
Set Theory For Computing eBook
From Decision Procedures To Declarative Programming With Sets
language: english
Publisher:
SPRINGER NEW YORK, June of 2013 ‧
see product details
171,59€
10% OFF
CARD
WWpsdFJrNVpVRUZXVlZKS2VtSjVOWFl4T0ZGR05sQnhUVFV4U1hWNGMzZ3lOMXBMVkRoMlN6RjJRVTAzVlZaeWIwVTFWelp5VTJFd05YcElkVzFCWjJ4MGJuTlVlbXBTY0ZsM1VsY3ZSQ3RTZUZCM1VpODBlREJQTjNGUVlraFdjbk5LV1VVMlNYQjNSM1p3S3pZdlN6RnNNMWd5YjFrMFJXeGxXV1JwYTNSMmRDdEpRams1ZDBsTFpETkRaRXRhVmpGM1ltZzJjM2xzTjNKbVRWZDRTbkZSTjBjM0swRTNkV2RUWlhKUmNVeFVhaTlUUm1GTlZuaE9XRXR1TjBKWU1HMUthMjlDVFV4a1RsWlFablEyT1dZMFVVZFpMM0pRVVV0S2NGRTBSM1kzWVVKak5rMHplVUpEUm5Gb2Npc3ZhRFZ0ZVZaa1IxcE1UaXMwYkZoSUwyTTBXbXBZYWs1dk0zVlFhMmN4TlZZdmMwdERUR0pTTm5CblV6VlFjRE4xWW5Bck9GbDZVa3ROWkdacVFWUmtMM0pRUXpsRFpsTlhNRGM0YW5oUFprSmFZM3BRZFdFdk5rSnRVRzVhTjJVMFdsTjZPVGx3YlVzMFMyNHlURVZEUnl0M2NVSnRla0ZhV21Jd1ozTnhhRkF4VWs1S04zSmpaSGhLVDFWc1dqSTJOWGRWT0RkdVVXZDBZaXRaVERsbmJXRjRjVXhTTjJZeFFuWXdUQzlLUVRGWk1sSjBUM0pEUTJ4WWJWQkRTaTh4UkdaaFlsZDBTR05IZGtJemFsUkhSV0ZsSzNsR2QyaFpUME4zWld3d1ozaHJNRmRtYkhGSmJFOUJNR3A1TUhoTldXWjFjMlJCVW5SRlRUVjJjM3A2VUVka2Rsa3pabHBVVVZsbVExVmpkRkZvYzJObUsydDRkVFF6YzBaT2EyeG9OamRSWkRKNmNsQlRNRUk1YjJoM1dYbG9TRk5rV2pKVlQxTkZZV3B6V0ZORE1FbGxSRzVIY3pGRlJXdzBWV0ZvTlROdmVDczRWa05VYkdSQmJscFJlaXR6Um1KUmJVZEthalJtWlZrMlJsZHVhbTlvZEV3d01GZENhamRtYW1GTmRUTjRRa3gzU2sweGRXMTBORkJOUTBGMVZVeHZRVmN4VlZFeVdXODRXR2xvVUVORlZETlZSREJ4TkRGM1VFWlhkMU5LVGxkMEt5OXdPRTVJZGxNNVExUTFVMjFYWVdwamVHaFlNa1I2YkZWalNtVlplak5LUTNOMmRqUjRjRlV5Wm5scVpXMXRiMHRaVVZwWGFXVjVTM1Z2V1hGM2QybDJSRzVuUFE9PTpLbGxZekg2WkVqTXBRTCtoT3pUcERRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Presents a comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781475734522 |
| Publisher: | SPRINGER NEW YORK |
| Release Date: | June of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Monographs In Computer Science |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Other Applications |
| EAN: | 9781475734522 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Complex AnalysisSpringer Berlin Heidelberg23,84€ 10% CARD
-
eBook10%Algorithmic Language And Program DevelopmentSpringer Berlin Heidelberg59,61€ 10% CARD
-
10%An Introduction To The Technique Of Formative Processes In Set TheorySpringer International Publishing AG60,82€ 10% CARDfree shipping
-
10%Computational Logic And Set TheorySPRINGER LONDON LTD60,82€ 10% CARDfree shipping
-
10%On Sets And GraphsSpringer International Publishing AG62,18€ 10% CARDfree shipping