Mechanizing Mathematical Reasoning
610 Lei (TVA inclus)
Livrare gratis la comenzi peste 500 RON. Pentru celelalte comenzi livrarea este 20 RON.
Livrare gratis la comenzi peste 500 RON. Pentru celelalte comenzi livrarea este 20 RON.
Cod produs/ISBN: 9783540250517
Disponibilitate: La comanda in aproximativ 4-6 saptamani
Editura: Springer
Limba: Engleza
Nr. pagini: 565
Coperta: Paperback
Dimensiuni: 240x155
An aparitie: 2005
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jorg H. Siekmann.
The 30 revised reviewed papers are wri
ebookshop
The 30 revised reviewed papers are wri
ebookshop
| An aparitie | 2005 |
| Autor | Hutter, Dieter; Stephan, Werner |
| Dimensiuni | 240x155 |
| Editura | Springer |
| Format | Paperback |
| Limba | Engleza |
| Nr pag | 565 |
Clientii ebookshop.ro nu au adaugat inca opinii pentru acest produs. Fii primul care adauga o parere, folosind formularul de mai jos.