adicionar à lista de desejos
Elements Of Finite Model Theory eBook
language: english
Publisher:
Springer Berlin Heidelberg, March of 2013 ‧
see product details
116,60€
10% OFF
CARD
YVdKT1FXaEJPRlZJTWs5S2NrUjZPVXN5ZFRJd2EyZHRNbnBYWTNkUlltcE5TSGgyTDBFNVNFZG5aM2R2ZEZJcmRIUmpRVVpKVUVwMk0yRlBlVEJzYUc1UVluZDFUR0ZZZDJGVU5UVmFVRVpSTlRSaWJrUk1TWFZYYUVSQlNtTlBXRGxQU0VkMFZUWlBhV2xDYUVWTGMxcDJkVFV2TlRCdUwzcDROSFV4ZHpRMlJWTjRhbk5ITDBaUlUwaFpSV1JQU1U5MmQxVXZRVkJNT1Robll6aEZhM2RIWVhWYVZHcEZkVEJwVEZoNlpub3ZVVzVZY1VkQmNIVk9XV3BpUzNJM1RIRkhkMnhDZEVwWGJtbHpPWEl4Y1VWWWMxQnNVbUp3UkVwQk1VNUJZV1F2YVZWbVYyUnZNa3BaV1ZwcEszWm5WbGQyVUUxNVlYcE5halp1UzFOTFdsb3lOV3B3TTNNMVRGaENWMkZFYjNnMmVHNW9ZME56UXpGVE5EbFJjalpXYmpWbEwwdHlibVZOWkU1T01XUjBiME0xZFdSWFpGSnRha1UyWkdOTFl5OXJPRzFoZW1sMEszcDNRV1Y1YW01blRGaFJjMjEzVG5CWlpYVnZTbWxtUm1WWVFWSnhVbW9yVERad2NYSllNbkJYVEV4R09FVkVUV3hUTms5dWRWUjRXak5LWVdFNVpXVlRabWRIU0hCU1JDdGFjM2gwZURFd1RFVkVkRWhFVVRaS2RrbGxLMk5yVjBweVNsSkxjMmxRWjBkUVZWZDJaMkZqZDNCRUsyOXVOVEJYTjNGalMwRnRhbFUzYTIweVNrUnBiaTlZY0U5elJHTnROV3BqVjNCTFRsQkNXRlZMUVZwWVpWTkxlR292SzA5V2JtbzRSVWRrV0VsUVFrNUhZbTFHVTNBMVFYZFJOV0pLVVZKRFZHeENkbFZ3TW5WaFNYVkVNV1V2ZVdoMGNrNVVlRWRtV0dWUFJrSXdjRGQzZGtwV1dIUXZUekZzVkVOa1EzQjVSMUF3U0ZwMk5WTmhabEZYWTJ4U01FNXZlamczUTBSWFQzaGpiQzlrWlZaRmJtOUNTbEZMWlZSSWJFSXdSMk0zUWxsV2MzSk5hWEJqTVhoeFJrTnZkM05RUTA5eEswUXlTWGR4ZVVweVVYTnVlR2czV1dOUllUVjBORTQzVWpaSE9FVTFkemR2VTB0b1ozZzBabmRVZDNaUlVVRXJOMHRQVDA1dU1tMUVkMjFVZVRrMWVFSjNXVFJaZWxGcWFDOTVXbmMyVkVScFVtaGtSR1pzWkcxSlZEaEJVeXRoTm1OblJUUXpSVEpSUFE9PTpmNjdsWGpDNWJmSDdvTHJOa0NoUVl3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Provides an introduction to finite model theory which stresses the computer science origins of the area. This book deals with the applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraisse games, locality-based techniques, and the complexity analysis of logics.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783662070031 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | March of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Texts In Theoretical Computer Science. An Eatcs Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9783662070031 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Formal Methods For Software EngineeringSpringer International Publishing72,86€ 10% CARD
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
10%Relational And Xml Data ExchangeSpringer International Publishing AG31,08€ 10% CARDfree shipping
-
10%Elements Of Finite Model TheorySPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG118,97€ 10% CARDfree shipping