Books
8 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
DNA computing | Gheorghe Păun,Gheorghe Paun,Arto Salomaa,Anne Condon,Grzegorz Rozenberg | OL1879644W | |
|
More Precisely | Eric Steinhart | OL20213482W | |
|
Automata and languages | John M. Howie | OL2949820W | |
|
The resolution calculus | Alexander Leitsch | OL3337701W | |
|
Handbook Of Automated Reasoning | J. Robinson,Andrei Voronkov,Alan Robinson | OL37477513W | |
|
How to prove it | Daniel J. Velleman | Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the tran… | OL3918291W |
|
Basic category theory for computer scientists | Benjamin C. Pierce | OL4078117W | |
|
Lectures in logic and set theory | George J. Tourlakis | OL5594906W |