Book

Automated Deduction - Cade 21

21st International Conference On Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings «

Score:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

Category:

ISBN

9783540735946

Information

Reviews

Wall

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

There are no reviews for this book yet.

More reviews »

Automated Deduction - Cade 21

Welcome to Boeklezers.nl

Reviews of Automated Deduction - Cade 21 by