phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Automated Reasoning with Analytic Tableaux and Related Methods

Limba englezăengleză
Carte Carte broșată
Carte Automated Reasoning with Analytic Tableaux and Related Methods Renate A. Schmidt
Codul Libristo: 16830524
Editura Springer International Publishing AG, august 2017
This book constitutes the proceedings of the 26th International Conference on Automated Reasoning wi... Descrierea completă
? points 204 b
413 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Baby Duck: Finger Puppet Book Yu-Hsuan Huang / Cărți pliante
common.buy 37 lei
The Little Mermaid-Kleine Meerjungfrau West/San Francisco Ballet / DVD
common.buy 171 lei
Hassan & Aneesa Celebrate Eid YASMEEN RAHIM / Carte broșată
common.buy 33 lei
NEPHILIM the awakening: Book 2 of the Nephilim Series MR Kirk Allen Kreitzer / Carte broșată
common.buy 74 lei
The Art of Bouncing Back: How I Survived it All Ebony K Johnson / Carte broșată
common.buy 84 lei
A Great Work: A conversation with Nehemiah for people (who want to be) doing great works. Jon C Swanson / Carte broșată
common.buy 53 lei
County of San Mateo, Plaintiff in Error, vs. the Southern Pacific Railroad Company, Defendant in Error. Roscoe Conkling / Carte broșată
common.buy 103 lei
Sinfonie 5/Faust op.68 Horia/George Enescu PO Andreescu / Audio CD
common.buy 92 lei
One Step At A Time: Violin Book I Jennie Lou Klim / Carte broșată
common.buy 63 lei
Fall Into Magic- A Novella Melissa Baldwin / Carte broșată
common.buy 53 lei
Issues and Trends in Interdisciplinary Behavior and Social Science / Copertă tare
common.buy 1.556 lei

This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity.

Informații despre carte

Titlu complet Automated Reasoning with Analytic Tableaux and Related Methods
Autor Renate A. Schmidt, Cláudia Nalon
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 381
EAN 9783319669014
ISBN 331966901X
Codul Libristo 16830524
Editura Springer International Publishing AG
Greutatea 5971
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo