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
Y0hOWlQwd3dZMXAwZWtOeFNUUlFWMWQzWjBSSFpqUnhjbVIzVldSRFYyZG9SRTVuV1hONFFXZGplR0pSY2xSVGIyRTBWSEpYYWpoclEzVm9XVkphUjJ0TE1HVnJSa2huTUVaRU0yMXFlVGR6YVhONldFbExXbWxNV0ZKVWEwRkdMM1J0ZUd0SFJWSTBibGQwVVdSd2NqWndWa1JuT1VZNFRWcEpXak5EYVROb05GZEZhM3BEYkZCSGFEWmpkRzl5WjBwbWFTOVJaMlpGZEhOVVYxbHZNV2x2WmtkQk9GRlFRemxRVHpsTWVHc3hOa2RCZEU1alMweHljM0F3UVV0U01uQkdWVE5EYVM4d00yRmhSMlZDTVRsTlNIZFlNR3hDYUcxWmRVbFNaSFpJWTJaT2FXZE5WRTFyVkZwQ1lVcEVSbkpHZDNvNWJVNUVRMU14SzBoRlMzZEVhRFZEZVZOR1VqTmllbWhaTUc5NldFWnRXVXc0ZWpKTmVXZ3liRWxuYzBwWk9WaGFaRWRvYlVrNVIwMWpTalJVTkVOMU9XZEtiVGg0UTIxdE1GcHFhV2wzVlhOYVNYRmFVelZDYWpWTlRFczJNMlp2TlV0VU5XRklPRzlHYVN0VmJuUmpka2Q0Tm1RclR6UkRTa0pXU3pkQ0wwaFliV0ZsWVVwVVlVZFFhWHBZUlc1cmNWSm9jVlpLYUdJMWNtMXdjV1F2VTAxa1JWTTRUbU5FT1d0S1NYRnVNMlYwVFRCU1FVNUxUWGt6TTBaUVNEaEpLMmw2TVRFMU5uTnNaVzVGWVZOUWVGVnZVR0pTUW1SWGQwNDJjR1pqVm1abmRHUk1kakpZUVdKMFYyUm5XRlZ3VEhORlMyeHJXSGR3UVVGUU1HRTFVbkJZYTFsNlJXMXJSbnBZVUVsTWVsaHZXa0ZxV0hKRlRHWTVlRmx3ZWxkVUx6QTRVRVJqTnpGNFFqQmpTRXQyVWtKdmFFdFVNRXBPTDJSd2JrbFJlVmR5SzBWNWNXd3ZSV0oySzBKWk5VdGlaMXBoWnpsU1RqSmlOR1ZYTTBrMVdGaHNTRUZOUjFaVFVqbFNTSFl6WVhWSFltNTJORzB6UkVoQ2VFNUlOelZMV21JeFdEVjVWbXd5UWs1MllWQkdTVFI0VUdFeVNtUndaeXQxYlRKSlJuWnpXVGxUTld4dGREQkZSM2hzZG1sM2FrVnpSMG8xTlV0RlVtSnplVWRJYlV0bGNrRkNNa1JUVEdrd2VrOTFjalpYYWpGUlNHRndlRmhPY0ZSVU1FUjJTMlpGVW1nd1JIRkdLMVJ5ZVRnNFltRkNiemwzUFE9PTpSV3Vhd0tSVDdFaWUzV3daNHNwWmNRPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9789401595865 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | November of 2013 |
| Language: | English |
| Format: | eBook |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Management > Management and Organization |
| EAN: | 9789401595865 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARD
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARD