Mechanizing Mathematical Reasoning
Produs indisponibil momentan. Pentru comenzi va rugam trimiteti mail la adresa depozit2@prior.ro sau contactati-ne la numarul de telefon 021 210 89 28 Vedeti mai jos alte produse similare disponibile.
Cod produs/ISBN: 9783540250517
Disponibilitate: Acest produs nu este momentan in stoc
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.