![Automated Theorem Proving: After 25 Years](https://d3525k1ryd2155.cloudfront.net/f/275/850/9780821850275.OL.0.b.jpg)
![Automated Theorem Proving: After 25 Years](https://d3525k1ryd2155.cloudfront.net/f/275/850/9780821850275.OL.0.b.jpg)
Foto de Stock: A capa pode ser diferente.
Automated Theorem Proving: After 25 Years
por W. W Bledsoe
- Novo
- Brochura
- Condição
- Novo
- ISBN 10
- 082185027X
- ISBN 13
- 9780821850275
- Livreiro
-
Southport, Merseyside, United Kingdom
2 Cópias disponíveis deste vendedor
(Você pode adicionar mais na finalização da compra.)
Formas de pagamento
Sobre este item
Paperback / softback. New.
Avaliações
(Entrar ou Criar uma conta primeiro!)
Detalhes
- Livreiro
- The Saint Bookstore
(GB)
- Nº do estoque do livreiro
- A9780821850275
- Título
- Automated Theorem Proving: After 25 Years
- Autor
- W. W Bledsoe
- Formato/Encadernação
- Paperback / softback
- Estado do livro
- Novo
- Quantidade Disponível
- 2
- Encadernação
- Brochura
- ISBN 10
- 082185027X
- ISBN 13
- 9780821850275
- Editorial
- Amer Mathematical Society
- Local de publicação
- Province Ri
- Esta edição foi publicada pela primeira vez
- 1984
Termos da venda
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
Sobre o Vendedor
The Saint Bookstore
Membro de Biblio desde 2018
Southport, Merseyside
Sobre The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glossário
Alguns termos que podem ser usados ??nesta descrição incluem:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...