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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Theorem Proving with Analytic Tableaux and Related Methods Pierangelo Miglioli
Codul Libristo: 05274573
Editura Springer, Berlin, noiembrie 1995
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableau... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Prophetie und Zweiter Tempel Rüdiger Lux / Carte Copertă tare
common.buy 769.20 lei
Todas las cosas que no quisiste escuchar Josune Bargueiras / Carte Carte broșată
common.buy 92.41 lei
LE TALMUD T XV - KETOUBOT 1 STEINSALTZ / Carte Copertă tare
common.buy 282.56 lei
Le Menteur (oeuvre au programme du Bac de français 2025, 1re générale & techno) Pierre Corneille / Carte Carte broșată
common.buy 30.55 lei
Hviezdni priatelia 8 Skrytá mágia Linda Chapmanová / Carte Copertă tare
common.buy 53.22 lei
Nezadržitelná vlna Michael Bhaskar / Carte Carte
common.buy 90.75 lei
' Wer bist du, Gott?' Petra Freudenberger-Lötz / Carte Carte broșată
common.buy 104.78 lei
Thirteen Modern English- Amer. Short Stories Collective / Carte Carte broșată
common.buy 60.81 lei
Four German Songs Ursula Mamlok / Materiale tipărite Note muzicale
common.buy 75.57 lei
WAS IST WAS Junior Hörspiel: Das Meer, 1 Audio-CD Charlotte Habersack / Audio Audio CD
common.buy 48.96 lei
Curând
Coopetition, kooperativ konkurrieren Adam M. Brandenburger / Carte Carte broșată
common.buy 141.58 lei
Anleitung zur Zimmer-Gartnerei Max Jubisch / Carte Carte broșată
common.buy 151.15 lei

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

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 Theorem Proving with Analytic Tableaux and Related Methods
Autor Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Limba engleză
Legare Carte - Carte broșată
Data publicării 1996
Număr pagini 336
EAN 9783540612087
ISBN 3540612084
Codul Libristo 05274573
Editura Springer, Berlin
Greutatea 490
Dimensiuni 155 x 235 x 18

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Chronicle of Scottish Poetry: From the Thirteenth Century, to the Union of the Crowns James Sibbald / Carte Carte broșată
common.buy 152.81 lei
Founder Judy K. Walker / Carte Carte broșată
common.buy 116.43 lei
Abstract Pissarro ANN SAUL / Carte Carte broșată
common.buy 163.42 lei
Sentinels of Tzurac: Retaliation James Raven / Carte Carte broșată
common.buy 106.55 lei
A General History of the Pyrates Daniel Defoe / Carte Carte broșată
common.buy 44.59 lei
The Arab And The African: Experiences In Eastern Equatorial Africa During A Residence Of Three Years (1891) Septimus Tristram Pruen / Carte Carte broșată
common.buy 189.41 lei
Low Budget Tricks for Small Spaces Montse Borras / Carte Carte broșată
common.buy 128.80 lei
Top
On Mother's Lap Ann Herbert Scott / Carte Cărți pliante
common.buy 38.77 lei
Notes on Spiritual Discourses of Shri Atmananda Shri Atmananda / Carte Carte broșată
common.buy 72.55 lei
Traditional Chinese Iron Industry and Its Modern Fate Donald B. Wagner / Carte Carte broșată
common.buy 354.60 lei
Understanding PAD Paper Poster Scientific Publishing / Materiale tipărite Poster
common.buy 101.56 lei
Principles of Bacterial Detection: Biosensors, Recognition Receptors and Microsystems Mohammed Zourob / Carte Copertă tare
common.buy 1 347.02 lei
Philadelphia Freedoms Michael Awkward / Carte Copertă tare
common.buy 553.80 lei
Pets, People, and Pragmatism Erin McKenna / Carte Copertă tare
common.buy 594.76 lei
Forensics Handbook Pete Moore / Carte Carte broșată
common.buy 63.82 lei
Becoming an Exceptional API Leader Li-Rong Lilly Cheng / Carte Carte broșată
common.buy 67.36 lei
The Hero + Vegas = No Regrets Louise Bay / Carte Carte broșată
common.buy 79.63 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?