Libri di Renate A. Schmidt
Tutti i risultati (2)
-
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane86,60 € -
Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications
Venditore: FeltrinelliCollege Publications, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane43,60 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
