"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,88
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 Hardcover. Condición: new. Nº de ref. del artículo: 9781402026522
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 Condición: New. Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 713. . 2004. Hardback. . . . . Nº de ref. del artículo: V9781402026522
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
Descripción Condición: New. Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 713. . 2004. Hardback. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9781402026522