Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €
phone Contatto phoneCome acquistare

Automated Reasoning with Analytic Tableaux and Related Methods

Lingua IngleseInglese
Libro In brossura
Libro Automated Reasoning with Analytic Tableaux and Related Methods Andrei Popescu
Codice Libristo: 24462426
Casa editrice Springer Nature Switzerland AG, agosto 2019
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning wi... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Lehrbuch der Geburtshilfe. Friedrich W. Scanzoni / Libro In brossura
common.buy 28.19 €
Instructions Pour La Redaction d'Un Catalogue de Manuscrits Et Pour La Redaction d'Un Inventaire DELISLE-L / Libro In brossura
common.buy 16.79 €
Nuklearmedizin / Nuclear Medicine J. Fitschen / Libro In brossura
common.buy 55.29 €
La source de l'équilibre humain Hugot / Libro In brossura
common.buy 8.59 €
Fire Punch. Tom 5 Tatsuki Fujimoto / Libro In brossura
common.buy 7.59 €
Le Droit Administratif Allemand, 4... Otto Mayer / Libro Rigido
common.buy 38.79 €
Puschki & Family - Winterfreuden! Claudia Kratel / Libro In brossura
common.buy 8.99 €
Elden Düsme / Libro In brossura
common.buy 12.00 €
anima Adin Steinsaltz / Libro In brossura
common.buy 17.99 €
Hiroshige. Cien famosas vistas de Edo Bichler / Libro Rigido
common.buy 39.39 €
LE BAISER A LA MORTE MATTIATO EUGENE Libro In brossura
common.buy 20.59 €
Les chrétiens et les musiques actuelles Benoit / Libro In brossura
common.buy 18.09 €
CONSTANT LAMBERT: ELEGIAC BLUES (PIANO SOLO) PIANO LAMBERT Libro binding.
common.buy 12.99 €
Sinfonie 7 C-Dur op.60 "Leningrad" Andris/CBSO Nelsons / Audio CD audio
common.buy 22.80 €
Briefwechsel Zwischen C. F. Gauss Und H. C. Schumacher V1 (1860) Christian August Friedrich Peters / Libro Rigido
common.buy 53.29 €
C. M. Wielands sämmtliche Werke. Christoph Martin Wieland / Libro In brossura
common.buy 34.99 €
Terror Stalks the Class Reunion Clark Higgins / Libro In brossura
common.buy 8.59 €
ejercicio de la sexualidad en el adolescente a la luz de la ley natural Rosa Villavicencio / Libro In brossura
common.buy 37.29 €
Chicago II Chicago / Audio CD audio
common.buy 19.59 €
Papa Francisco y La Familia PAPA FRANCISCO / Libro In brossura
common.buy 28.89 €

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Fronti

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Automated Reasoning with Analytic Tableaux and Related Methods
Autore Andrei Popescu
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2019
Numero di pagine 477
EAN 9783030290252
ISBN 3030290255
Codice Libristo 24462426
Casa editrice Springer Nature Switzerland AG
Peso 759
Dimensioni 155 x 235 x 27

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Research Handbook on Sustainable Co-operative Enterprise Tim Mazzarol / Libro Rigido
common.buy 304.09 €
Turtle Heart William Fredric Posey / Libro In brossura
common.buy 39.09 €
Alternative Dairy Products and Technologies Harjinder Singh / Libro In brossura
common.buy 202.59 €
Kinning Shawl / Libro In brossura
common.buy 15.29 €
The Suggestible Brain Raz / Libro Rigido
common.buy 23.49 €
Spherical Nucleic Acids Chad A. Mirkin / Libro elettronico Adobe ePub DRM
common.buy 289.79 €
Silly Jelly-Fish B. H. Chamberlain / Libro In brossura
common.buy 15.59 €
Super Turbo Saves the Day! Glass House Graphics / Libro Rigido
common.buy 17.49 €
A Catechism For The Pianoforte Student (1882) John Hiles / Libro In brossura
common.buy 23.49 €
Architecting Experience: A Conversion Science Handbook Scot R. Wheeler / Libro Rigido
common.buy 94.39 €
Kincaid's Battery George Washington Cable / Libro In brossura
common.buy 26.39 €
Our Renaissance: Essays on the Reform and Revival of Classical Studies Henry Browne / Libro Rigido
common.buy 33.99 €
I migliori
Fallout: The Vault Dweller's Official Cookbook Victoria Rosenthal / Libro Rigido
common.buy 32.29 €
Best Advanced Paper Aircraft Book 2 Carmel D Morris / Libro In brossura
common.buy 11.99 €
Exploring Inductive Risk Kevin C Elliott / Libro In brossura
common.buy 79.79 €
In preparazione
Revolutionary War Almanac John C. Fredriksen / Libro Rigido
common.buy 104.49 €
Practical Guide To Chemometrics Paul Gemperline / Libro Rigido
common.buy 317.89 €
Leaving the Pink House Ladette Randolph / Libro In brossura
common.buy 17.89 €
Great Comedians Talk about Comedy Larry Wilde / Libro Rigido
common.buy 27.19 €
Tarpon Springs Carol Mountain / Libro In brossura
common.buy 21.09 €
The New Best Of (All Hits & Remixes) 2016, 2 Audio-CDs Backstreet Boys / Audio CD audio
common.buy 17.49 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?