
Automated Reasoning
Jürgen Giesl, Reiner Hähnle
₹4,981
Subject
192 new computational complexity titles, with the largest lists from Springer, Springer-Verlag New York Inc. and Springer-Verlag Berlin and Heidelberg GmbH & Co. K. Prices from ₹1,647 to ₹34,298, with free delivery across India and cash on delivery.
Showing 25–48 of 192 books

Jürgen Giesl, Reiner Hähnle
₹4,981

M. S. Paterson, N. J. Hitchin, Michael S. Paterson
₹4,637

Jan Krajíček, G. -C Rota, B. Doran
₹4,098

Martin Otto
₹5,417

Stephen Wolfram
₹4,139

Ben Goertzel
₹6,770

Fuad Aleskerov, Boris Goldengorin, Panos M. Pardalos
₹7,709

Ding-Zhu Du
₹7,754

Weifan Wang, Xuding Zhu, Ding-Zhu Du
₹5,661

Boting Yang
₹5,802

Charles J. Colbourn, Ebdollah Sayed Mahmoodian
₹7,777

DMTCS '01 (2001 Constanța, Romania)
₹7,729

Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
₹15,384

Giuseppe Mangioni, Filippo Simini, Dashun Wang, Stephen Miles Uzzo
₹7,764

Terry Bossomaier, David G. Green
₹5,267

Alan L. Selman
₹8,173

Paul Cilliers
₹4,380

Paul Cilliers
₹2,486

Gerard Milmeister, Jody Weissmann, Guerino Mazzola
₹3,168

B. Jack Copeland, Carl J. Posy, Oron Shagrir
₹2,740

B. Jack Copeland, Carl J. Posy, Oron Shagrir
₹2,634

Steven Homer, Alan L. Selman
₹8,265

André Nies
₹19,555

Egon Börger
₹5,603