Automated Deduction

Name: Automated Deduction
Author: CADE-25

CADE-25

Springer International Publishing AG

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 322 Kč

Není skladem

Do obchodu

Krátký popis

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.

Výběr knih vydavatele Springer International Publishing AG