Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Theorem Proving with Analytic Tableaux and Related Methods

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Theorem Proving with Analytic Tableaux and Related Methods Pierangelo Miglioli
Libristo-code: 05274573
Uitgeverij Springer, Berlin, november 1995
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableau... Volledige beschrijving
? points 125 b
51.66 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Prophetie und Zweiter Tempel Rüdiger Lux / Boek Gebonden (harde band)
common.buy 152.98 €
Todas las cosas que no quisiste escuchar Josune Bargueiras / Boek Gebonden (paperback)
common.buy 16.67 €
LE TALMUD T XV - KETOUBOT 1 STEINSALTZ / Boek Gebonden (harde band)
common.buy 54.09 €
Le Menteur (oeuvre au programme du Bac de français 2025, 1re générale & techno) Pierre Corneille / Boek Gebonden (paperback)
common.buy 5.96 €
Hviezdni priatelia 8 Skrytá mágia Linda Chapmanová / Boek Gebonden (harde band)
common.buy 10.20 €
Nezadržitelná vlna Michael Bhaskar / Boek Boek
common.buy 17.89 €
' Wer bist du, Gott?' Petra Freudenberger-Lötz / Boek Gebonden (paperback)
common.buy 18.90 €
Thirteen Modern English- Amer. Short Stories Collective / Boek Gebonden (paperback)
common.buy 11.72 €
Four German Songs Ursula Mamlok / Drukwerk Bladmuziek
common.buy 13.54 €
WAS IST WAS Junior Hörspiel: Das Meer, 1 Audio-CD Charlotte Habersack / Audio Audio cd
common.buy 9.80 €
STARK Abitur-Training - Biologie Band 2, m. 1 Buch, m. 1 Beilage Brigitte Meinhard / Boek Gebonden (paperback)
common.buy 20.42 €
Wordt verwacht
Coopetition, kooperativ konkurrieren Adam M. Brandenburger / Boek Gebonden (paperback)
common.buy 28.40 €
Anleitung zur Zimmer-Gartnerei Max Jubisch / Boek Gebonden (paperback)
common.buy 30.32 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Theorem Proving with Analytic Tableaux and Related Methods
Auteur Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1996
Aantal pagina's 336
EAN 9783540612087
ISBN 3540612084
Libristo-code 05274573
Uitgeverij Springer, Berlin
Gewicht 490
Afmetingen 155 x 235 x 18

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Chronicle of Scottish Poetry: From the Thirteenth Century, to the Union of the Crowns James Sibbald / Boek Gebonden (paperback)
common.buy 27.80 €
Founder Judy K. Walker / Boek Gebonden (paperback)
common.buy 21.12 €
Abstract Pissarro ANN SAUL / Boek Gebonden (paperback)
common.buy 29.72 €
Sentinels of Tzurac: Retaliation James Raven / Boek Gebonden (paperback)
common.buy 19.30 €
A General History of the Pyrates Daniel Defoe / Boek Gebonden (paperback)
common.buy 8.08 €
The Arab And The African: Experiences In Eastern Equatorial Africa During A Residence Of Three Years (1891) Septimus Tristram Pruen / Boek Gebonden (paperback)
common.buy 34.47 €
Low Budget Tricks for Small Spaces Montse Borras / Boek Gebonden (paperback)
common.buy 22.84 €
On Mother's Lap Ann Herbert Scott / Boek Leporello (harmonicaboek)
common.buy 6.97 €
Notes on Spiritual Discourses of Shri Atmananda Shri Atmananda / Boek Gebonden (paperback)
common.buy 13.13 €
Traditional Chinese Iron Industry and Its Modern Fate Donald B. Wagner / Boek Gebonden (paperback)
common.buy 61.67 €
Understanding PAD Paper Poster Scientific Publishing / Drukwerk Poster
common.buy 19.40 €
Principles of Bacterial Detection: Biosensors, Recognition Receptors and Microsystems Mohammed Zourob / Boek Gebonden (harde band)
common.buy 268.65 €
Philadelphia Freedoms Michael Awkward / Boek Gebonden (harde band)
common.buy 105.86 €
Pets, People, and Pragmatism Erin McKenna / Boek Gebonden (harde band)
common.buy 108.89 €
Forensics Handbook Pete Moore / Boek Gebonden (paperback)
common.buy 11.52 €
Becoming an Exceptional API Leader Li-Rong Lilly Cheng / Boek Gebonden (paperback)
common.buy 12.12 €
The Hero + Vegas = No Regrets Louise Bay / Boek Gebonden (paperback)
common.buy 14.25 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?