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.

Automated Reasoning with Analytic Tableaux and Related Methods

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Reasoning with Analytic Tableaux and Related Methods Tarmo Uustalu
Libristo-code: 49478137
Uitgeverij Springer-Verlag GmbH, oktober 2025
This open access book constitutes the proceedings of the 33rd International Conference on Automated... Volledige beschrijving
? points 100 b
41.39 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Necrovet. Usługi weterynaryjno-nekromantyczne Joanna W. Gajzler / Boek Gebonden (paperback)
common.buy 10.01 €
Hommes Emmanuelle Richard / Boek Gebonden (paperback)
common.buy 23.88 €
Legislation Sur Le Droit de Reunion En France PUIBARAUD-L / Boek Gebonden (paperback)
common.buy 13.65 €
Handbuch der Zendsprache Ferdinand Justi / Boek Gebonden (paperback)
common.buy 44.53 €

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27 29, 2025.

The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural 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 Automated Reasoning with Analytic Tableaux and Related Methods
Auteur Tarmo Uustalu
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2025
Aantal pagina's 512
EAN 9783032060846
ISBN 3032060842
Libristo-code 49478137
Uitgeverij Springer-Verlag GmbH
Gewicht 768

Categorieën

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

Glad You Asked: Intriguing Names, Facts, and Ideas for the Curious-Minded Michael Feldman / Boek Gebonden (harde band)
common.buy 18.61 €
Banished from the Hero's Party, I Decided to Live a Quiet Life in the Countryside, Vol. 2 LN YASUMO / Boek Gebonden (paperback)
common.buy 14.46 €
Three Hostages JOHN BUCHAN / Boek Gebonden (paperback)
common.buy 14.67 €
An Introduction to Petroleum Fuel Facilities: Aircraft Fueling Facilities J. Paul Guyer / Boek Gebonden (paperback)
common.buy 27.42 €
Rise of the Dragon Moon Gabrielle K. Byrne / Boek Gebonden (paperback)
common.buy 18.72 €
GMAT Integrated Reasoning & Essay: Strategy Guide + Online Resources Manhattan Prep / Boek Gebonden (paperback)
common.buy 43.51 €
Wordt verwacht
Macromolecular Chemistry and Physics Maria Emilova Velinova / Boek Gebonden (harde band)
common.buy 180.47 €
Letter Sounds Save Their Soul: Book 4 Vanessa Peters / Boek Gebonden (paperback)
common.buy 19.32 €
Gedichte Karl August Woll / Boek Gebonden (paperback)
common.buy 17.00 €
The Song of Majnun: An Opera of Lyric Tragedy in One Act Bright Sheng / Boek Gebonden (paperback)
common.buy 41.19 €
Piano Sonatas - Book 1: Schirmer Library of Classics Volume 1982 Piano Solo Franz Joseph Haydn / Boek Gebonden (paperback)
common.buy 20.44 €
Boston Marathon Paul C. Clerici / Boek Gebonden (paperback)
common.buy 18.01 €
TOP
Origins Annie Murphy Paul / Boek Gebonden (paperback)
common.buy 15.07 €
Celestial Rays of Wisdom Ikenna Adiele / Boek Gebonden (paperback)
common.buy 27.62 €
Lastchance Junction Sally Pratt McLean / Boek Gebonden (paperback)
common.buy 21.45 €
Systemic Regularities & Systemic Optimization Guram S. Javakhadze / Boek Gebonden (harde band)
common.buy 153.84 €

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?