Automated Reasoning
David Basin, Michael Rusinowitch
₹5,113
Results for “Automated reasoning”
Showing 1–24 of 31 books
Automated Reasoning
Jürgen Giesl, Reiner Hähnle
₹4,981
Automated Reasoning
Viorica Sofronie-Stokkermans Nicolas Peltier
₹3,605
Automated Reasoning
Nicola Olivetti, Ashish Tiwari
₹6,229
Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
₹4,457
Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
₹4,330
Automated Reasoning
Bernhard Gramlich, Dale Miller, Ulrike Sattler
₹5,686
Logic Programming and Automated Reasoning
Frank Pfenning
₹5,554
Logic Programming and Automated Reasoning
Andrei Voronkov
₹5,639
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581
Nonstandard Logics for Automated Reasoning
Philippe Smets
₹3,660
Symbolic Computation and Automated Reasoning
Manfred Kerber, Michael Kohlhase
₹4,226
Automated Reasoning in Higher-Order Logic
E. Brown C.
₹2,207
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti
₹5,554
Automated Reasoning for Systems Biology and Medicine
Pietro Liò, Paolo Zuliani
₹8,207
Functional Programming, Concurrency, Simulation and Automated Reasoning
Peter E. Lauer
₹5,583
Automated Reasoning with Analytic Tableaux and Related Methods
Neil V. Murray
₹5,543
Automated Reasoning with Analytic Tableaux and Related Methods
Marta Cialdea Mayer, Fiora Pirri
₹5,612
Automated Reasoning with Analytic Tableaux and Related Methods
Kai Brünnler, George Metcalfe
₹5,534
Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly, Christian G. Fernmüller
₹5,672
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt, Cláudia Nalon
₹5,061
Automated Reasoning with Analytic Tableaux and Related Methods
Serenella Cerrito, Andrei Popescu
₹4,258
Automated Reasoning with Analytic Tableaux and Related Methods
Sara Negri Anupam Das
₹3,645
Automated Reasoning with Analytic Tableaux and Related Methods
Roy Dyckhoff
₹5,111