"Sinopsis" puede pertenecer a otra edición de este libro.
"Sobre este título" puede pertenecer a otra edición de este libro.
Gastos de envío:
EUR 4,89
A Estados Unidos de America
Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 1.5. Nº de ref. del artículo: Q-1402026528
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar2411530142453
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9781402026522_lsuk
Descripción Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT23-283987
Descripción Condición: New. pp. 360. Nº de ref. del artículo: 26323269
Descripción Condición: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 7557402
Descripción Gebunden. Condición: New. On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model buildi. Nº de ref. del artículo: 458473872