Livrare gratuită pentru comenzile peste 349,00 lei.
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei
Serviciul de curierat Cargus 28.00 lei
Easybox 20.00 lei
FAN Courier 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Serviciul de curierat Cargus 28.00 lei
Easybox 20.00 lei
FAN Courier 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
▸
Gol :-(
0
Livrare gratuită pentru comenzile peste 349,00 lei.
Mechanizing Mathematical Reasoning
Limba
engleză
engleză
Carte
Carte broșată
By presenting state-of-the-art results in logical reasoning and formal methods in the context of art...
Descrierea completă
Codul Libristo: 01560370
?
263 b
263 b
568.77
lei
În depozitul extern
Expediem în 5-8 zile
Până la 30 de zile pentru returnare
Clienții au cumpărat de asemenea
/
Carte broșată
178.18
lei
/
Carte broșată
364.58
lei
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 Jörg H. Siekmann.The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Actriță
&
Poliglotă
EWA KASP
pentru
Redă videoclipul
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.
Informații despre carte
Titlu complet
Mechanizing Mathematical Reasoning
Autor
D. Hutter, W. Stephan
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2005
Număr pagini
570
EAN
9783540250517
ISBN
3540250514
Codul Libristo
01560370
Editura
Springer, Berlin
Greutatea
860
Dimensiuni
155 x 233 x 29
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Carte broșată
291.60
lei
Consilier de cărți Libroamiko
Prin utilizarea acestui chat, comunicați cu inteligența artificială generativă. Prin utilizarea acestuia, sunteți de asemenea de acord cu prelucrarea datelor cu caracter personal.
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?
Bună ziua, sunt Libroamiko, vă pot ajuta?