adicionar à lista de desejos
Advances In Temporal Logic eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, novembro de 2013 ‧
ver detalhes do produto
171,59€
10% DESCONTO
CARTÃO
VGl0RFNEVnFZVlozVXpJNGJuWkdiMEZUZW5Wc1NuWlJaVEJXUVRSUFNtUkRTWEJXZEVkaFJVb3lXR0pEZWxkc01YTnBNR0YzYnk5MFUxVjFXbnBoUW1Kc1RsVkJlRXBQWTNOcE1WZ3hOM1ZWT1d0UlpVUnliVVpqVjA5RlV6WlBlakp2Wm5GcGFGbEdjbU5QYkdORU9IWlZhR2xIZVhONEwyWnFibWxUYm1GUEwyNUliWGRVUm00eVNEbHRXazUzY1ZnelRHbGFTbXBLZEhSYVpVZHFjM2d3V0ROQ1UwaEdWM1JEZWtScFYyVTNZV3R2TVhNNFMzRkpWVTlUUkRsUVJVUktSM0ZaVWtsdFIyYzVSV3huYTBoVlNIVm9kR3h2UmxRMVFrTTJTVWt6T1hCS1IxaFlaMlpRWnk5SE5tVldRa2RsTVdWMWJFNDJUbW81WjNSRVluTXZXaTlZYVZKa1lYVkRkREpHU1c5TWEyWm9LMlIyT0hBMmFXeG5hWGx3VkdaTGVXbEJkVEZRTWpkMlVGQnBZVEpKVmxObkwwMTRhR00yVEhGMlVHOXBVR3h2V25WSFMyWlpNbWxTZERGVlVFOHhhMmxsT0dzNVIwMW9VVXBLUjNCc00yVktlSFZ2Y21GUU4wWkdVR2x6UTFkbGMxTjNUMWQxWmtOd05IQktZV3hXWVRseFNIYzVWekZ4VXpCTldYZGFiMk5MTkhFdlptZG9lR1ozVVdkVU0yOWlNM1pNY21abldUa3lRakJIUmxaeFRrNVdiMUZLWTFoWFRHeFhTbWt5UjBGblJYTnRkbGRwVDB0RFNra3lNSGwyUkZCRk5GVlpRaTlHTlZGSVQwdHJZbnBIY25jd1lrZGxkVTFaVW5kM2VuUm9ObkE1UkRaT2NuSkpiUzk1U0ZkUVZDOUVRVTlYU0dSblJHdGpVVGQwVGpOUVFuVTJTMnhQYUV0eVNGSnVXSEJHTmlzdmNHcE9WazR2TTBoblJEVnVTbFIwY2toalpWWnBjalptUTFoV1VqZGpiVTFZVUVwSlNuQlNjSEZoUVZSQk1GcEJUM2RVTTNoVVJqWlJTV1ZXV0cxWU5uVktOamhESzBJd1VqTXhVRWRIUmpKNVlVOXRORWRZVUZWSFQybG5ORzV6TVZCbU1EVndNVll3Vm1KUmExWkZWWEl6V0hsUWVFRTBUbFJMZEUwMVdqTXZZVEpQZEM5UVNETkdhRE53T1VkTlEzWkdlakJETDJob2JWRk9iVzFRZUhNNGN6WlBSV3RvV2tSTVMycFNRbFZKY1dGUU5uUmxTRXRXVERkTFIwdEZjMEZaUFE9PTo3SHNMcXNXditmMWRPVGQrTDd1WkJBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401595865 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | novembro de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Applied Logic Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Gestão > Gestão e Organização |
| EAN: | 9789401595865 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARTÃO
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARTÃO