Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
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
0
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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

Automated Reasoning with Analytic Tableaux and Related Methods

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Reasoning with Analytic Tableaux and Related Methods Kai Brünnler
Codul Libristo: 01658308
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2011
This book constitutes the refereed proceedings of the 20th International Conference on Automated Rea... Descrierea completă
? points 138 b
303.61 lei
În depozitul extern în cantități mici Expediem în 3-6 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Islamic Economics.. Its Origin - Its Specificity - Its Curriculum Researchers Group / E-book Adobe ePub DRM
common.buy 70.14 lei
Ultima scrisoare de dragoste Jojo Moyes / E-book Adobe ePub DRM
common.buy 26.61 lei
Introduction aux sciences de la communication Daniel Bougnoux / Carte Carte broșată
common.buy 72.85 lei
FERNANDO FERNANDEZ-LAVIE : CHOIX D'ETUDES N 1 - GUITARE FERNANDO FERNANDEZ-L Carte binding.
common.buy 231.66 lei
NO PUC VIURE SENSE TU VICENT SANZ / Carte Carte broșată
common.buy 162.82 lei
Pour Comprendre Français 4E Isabelle de Lisle / Carte Copertă tare
common.buy 47.49 lei
Romy Schneider (Graphic Novel) Stéphane Betbeder / Carte Copertă tare
common.buy 142.09 lei
Die Bedeutung der St. Michaels Kirche in München in der mitteleuropäischen Architekturentwicklung Sevda Onur / Carte Carte broșată
common.buy 91.07 lei
Ideengeschichte der sozialen Bewegung des 19. und 20. Jahrhunderts Werner Hofmann / Carte Copertă tare
common.buy 667.52 lei
Sem Tempo Para Memórias Robson Dos Anjos / Carte Carte broșată
common.buy 39.14 lei
Curând
Susan Sontag - The Doors und Dostojewski Georg Deggerich / Carte Copertă tare
common.buy 101.43 lei
L'itineraire authentique du salut Jean-Marie Ayissi / Carte Carte broșată
common.buy 85.13 lei
Uchenie Grigorija Grabovogo O Boge. Radost Vechnogo Razvitija. Grigori Grabovoi / Carte Carte broșată
common.buy 35.61 lei
Dog Frisbee Julia Schuster / Carte Carte broșată
common.buy 63.59 lei
Identidad lingüística y nación cultural en J.G. Herder Adriana Rodríguez Barraza / Carte Carte broșată
common.buy 119.25 lei
G.E.H.B. Andrea Astarita / Carte Carte broșată
common.buy 117.74 lei
Evaluation, Wissen Und Nichtwissen Thomas Brüsemeister / Carte Carte broșată
common.buy 238.70 lei
O co-relato Mallarme-Haroldo Bento Sergio / Carte Carte broșată
common.buy 275.64 lei
How To Fast Successfully - INDONESIAN BAHASA Derek Prince / Carte Carte broșată
common.buy 64.70 lei
Anno Domini, Flops Urs Hostettler / Joc / Jucărie Joc
common.buy 79.90 lei
Christian Identity - Zwischen Froemmigkeit und radikaler Ideologie Michael Hausin / Carte Carte broșată
common.buy 96.10 lei
Geschichte der Hochschulen in Italien Wolfgang Sebastian Weberitsch / Carte Carte broșată
common.buy 91.07 lei

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
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 Automated Reasoning with Analytic Tableaux and Related Methods
Autor Kai Brünnler, George Metcalfe
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 279
EAN 9783642221187
ISBN 3642221181
Codul Libristo 01658308
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 447
Dimensiuni 155 x 235 x 20

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Ar putea de asemenea, să te intereseze

A Concise Introduction to Mechanics of Rigid Bodies L. Huang / Carte Carte broșată
common.buy 362.99 lei
My Masters, My Slave YOSEF BEN SOLOMON / Carte Carte broșată
common.buy 99.02 lei
The City College of New York Sydney C. Van Nort / Carte Carte broșată
common.buy 112.91 lei
Speaking in Tongues Controversy Rick Walston / Carte Carte broșată
common.buy 134.24 lei
Raising Redemption: A Novel of Shame, Secrets, Sacrifice, and Struggle R. A. Russell / Carte Carte broșată
common.buy 83.35 lei
Youth in Cell Ministry Joel Comiskey / Carte Carte broșată
common.buy 79.90 lei
Those Miraculous Sunflower Seeds Katja Kowalec / Carte Carte broșată
common.buy 185.87 lei
Penal Ordinances City of Seymour, Indiana. Geo G Graessle / Carte Carte broșată
common.buy 93.28 lei
The Prince and the Page Charlotte Mary Yonge / Carte Carte broșată
common.buy 79.90 lei
Knockout: A Manual For Success: my million dollar shift Mike Kennedy / Carte Carte broșată
common.buy 59.37 lei
Bax and His Bubbles Pardeep Mehra / Carte Carte broșată
common.buy 89.36 lei
For You: Expressions of life in verse Peppi Hilton / Carte Carte broșată
common.buy 41.76 lei
Stranger in Our Bed Samantha Lee Howe / Audiobook MP3
common.buy 76.59 lei
Man In Art: Studies In Religious And Historical Art, Portrait And Genre Philip Gilbert Hamerton / Carte Copertă tare
common.buy 257.22 lei
The Commuter Jaume Collet-Serra / Videoclip Blu-ray
common.buy 82.51 lei
Principles of Internet of Everything S. Balamurugan / Carte Carte broșată
common.buy 340.85 lei
Top Trails: Maui Sara Benson / Carte Copertă tare
common.buy 163.93 lei
Bite-sized History Of France Stephane Henaut / Carte Carte broșată
common.buy 91.77 lei
History of John Bull John Arbuthnot / Carte Carte broșată
common.buy 115.93 lei
English-Vietnamese School Children's Bilingual Picture Dictionary Richard Carlson Jr / Carte Carte broșată
common.buy 69.03 lei
Sharkey Tales Lauren Abby / Carte Carte broșată
common.buy 62.08 lei
Evolution of Business Knowledge Harry Scarbrough / Carte Copertă tare
common.buy 943.67 lei
The Commonwealth of Oceana James Harrington / Carte Carte broșată
common.buy 279.16 lei
Reemergence of Established Pathogens in the 21st Century I.W. Fong / Carte Carte broșată
common.buy 917.31 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?