Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Libro
Condición: New. New. In shrink wrap. Looks like an interesting title! 1.5.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Hardcover. Condición: new.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Libro
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. pp. 360.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Majestic Books, Hounslow, Reino Unido
Libro
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.
Publicado por Springer-Verlag New York Inc., 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
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. . . . .
Publicado por Springer Netherlands, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: moluna, Greven, Alemania
Libro
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.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: ALLBOOKS1, Salisbury Plain, SA, Australia
Libro
Publicado por Springer-Verlag New York Inc., 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Libro
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.
Publicado por Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Librería: Mispah books, Redhill, SURRE, Reino Unido
Libro
Hardcover. Condición: Like New. Like New. book.