24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Omschrijving
Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more.
Ik heb een vraag over het boek:
‘Computer Science Logic - Anuj Dawar, Helmut Veith’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
