Libri di Dale Miller
Tutti i risultati (5)
-
Proof Theory and Logic Programming: Computation as Proof Search
Venditore: FeltrinelliCambridge University Press, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 5 gg lavorativi75,00 € -
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Venditore: FeltrinelliSpringer Verlag, Singapore, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane86,90 € -
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,30 € -
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,20 € -
Programming with Higher-Order Logic
Venditore: FeltrinelliCambridge University Press, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane70,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.
