adicionar à lista de desejos
Advances In Temporal Logic eBook
language: english
Publisher:
SPRINGER NETHERLANDS, November of 2013 ‧
see product details
171,59€
10% OFF
CARD
ZDNveFJrZHJhMHRWTXpOVlZ6WnlkVE5xT1RCWU5tdG9VV2RITUhGa1dYUTBLMWN5YXpBelRHTkJNVlp1SzNOR1FYcFNjRko0ZDNsSGJHaE1UV2R6TUZCdFRXWmthbUpGWjJkMEwzZ3piWEJUTDJWNmVGUkJaV2ROTjFNMGRGTTNUblF3VnpodGMxbzFObG9yTDFaUVdIRmlkM0p1VGpWMlpFOTNaVkp0ZEZScVkyeFVWbE5ETVc1WFZrMUljbWROY0RWdGJVaGxMMll2VjFoblptcE5jR1ZvUjNKVVZtdDFRMlpwVmpaM2NXUmhWa3RKU25wSWN5dEVhek5UYldGbFVWcE5VVWxLT0ZCbmMyMDRhWFpMYTNWWWIxVjJlSFl6VTNCak1UQk9abWw0V2t3MmVuUmtjRWxrYnpNNGVtWm5jekJOY1dWVlQwSldiVTEyTmtGdk5tUmhOVFY2WkZZeFQxUldhMUkwY0RVeFRITkRUV3h5YUhvNGQwUktValkyUlZwUWFDdFNZazlpVlV0eFlYZHhWR00xYzFKcVNGbG9SVmxEUmt0dFJWUk1Xa053UlZVelFrZHZTRWxKZWxoM2VYSnFabFpVV1c1b2R6aHRWR0pOUzFwaE5sQnBSRkZXYUU0NE9XVllMMWhXVEVkVlVrTm1ibUZXV2xaMFRHaHFSMGxhUjBWaVEwbFRkM2h2VFd4SFIxRmpXVW8wTm5oTlpWSXJOV2RuVEd4VVJqVXhNME4zY3pWbE9WSmthRk5JYUZkSVFVWnhlSEpLTUZKTlYzVlhORFI2Wkc5SlMzTkpWVTE2SzJSMVYwc3lRM1JsUW5wdmFUUXlZbXhpZDNReGNHUXhXVU5IUzI4ck5XVkRTbmh3WmtWSWFITldSMFkzTDBaUlUwZGlTbkJLYUZOSVMwODRXRXROVERCNVJETXdaMHROVmxWWWJtdG1hRXRIY0ZaaFZqRXlXV0ZFVmtKS1pFTjFhM0ZPT1VKV2JtcElPVWxyZVVVd1JVTlJTRGxFUm1KMmVHaDJNRTVqUjBoTWJVNXVlbHBGVmpKU1JWTmxRVWxwUzBKUWRXVkNVM2N4WTJneEwyWmFZa1JJVVdOVGVYQkxTbXczWkhaWVUxVlpVV3BhUjB0VE5uRmliakZGYVRnMU55OUtNRzQxUmxSMGJXNVBNbTQyUzBGMFVXRnJXVXB4U0VwU1NqaFNTR3hXY2pFMFltMW9ZazgyYzA5M1JraG1NUzlpTVZCT1JDOUhXbFZJYkUxTk55OVlUMlJsYjJ0UWVrUkVRWFZ6Y0ZoblFUWmpWV2R1YkhaQ1NVVnNiRXBqUFE9PTpDUEUrNS9TNGFnbGFNUXp1d0JxR2VnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Presents articles containing results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. This book is intended for postgraduate and postdoctoral students, and also research professors in this area.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789401595865 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | November of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Management > Management and Organization |
| EAN: | 9789401595865 |
BOOKS FROM THE SAME COLLECTION
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARD
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARD