Logic Programming and Automated Reasoning
Frank Pfenning
₹5,554
Subject
Mathematical theory of computation books
193 new mathematical theory of computation titles, with the largest lists from Springer, Cambridge University Press and Springer-Verlag Berlin and Heidelberg GmbH & Co. K. Free delivery across India and cash on delivery.
Page 6 of 9
Logic at Botik '89
Albert R. Meyer, Michael A. Taitslin
₹5,524
Logic in Computer Science
Michael Huth, Mark Ryan
₹6,059
Logic in Computer Science
Michael Huth, Mark Ryan
₹2,861
Logical and Computational Aspects of Model-Based Reasoning
Lorenzo Magnani
₹7,735
Mathematical Foundation of Programming Semantics
Austin Melton
₹5,576
Mathematical Foundations of Computer Science 1990
Branislav Rovan
₹5,652
Mathematical Foundations of Computer Science 1991
Andrzej Tarlecki
₹5,602
Mathematical Foundations of Computer Science 1992
Ivan M. Havel, Vaclav Koubek
₹5,644
Mathematical Foundations of Computer Science 1994
Igor Privara, Branislav Rovan, Peter Ruzicka
₹5,159
Mathematical Foundations of Computer Science 2002
Krzystof Diks, Wojciech Rytter
₹4,363
Mathematical Foundations of Computer Science 2004
Jirí Fiala, Václav Koubek, Jan Kratochvíl
₹5,405
Mathematical Foundations of Programming Semantics
Stephen Brookes, Michael Main, Austin Melton
₹4,909
Mathematical Studies on Human Disease Dynamics
AMS-IMS-SIAM Joint Summer Research Conference on "Modeling the dynamics of human disease: emerging paradigms and challenges" (2005 Snowbird, Utah)
₹21,052
Mathematics of Information and Coding
Kingo Kobayashi, Te Sun Han
₹4,093
Mechanical Theorem Proving in Geometries
Wen-Tsun Wu
₹2,664
Metamathematics, Machines and Gödel's Proof by Natarajan Shankar
Natarajan Shankar, N. Shankar, C. J. Van Rijsbergen
₹5,568
Modal Logic
Patrick Blackburn, Maarten de Rijke, Yde Venema
₹4,563
Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy
₹4,205
Monte Carlo Methods for Applied Scientists
Ivan T. Dimov
₹6,719
Nets, Terms and Formulas
E. R. Olderog, C. J. Van Rijsbergen, Samson Abramsky
₹5,590
Numerical Recipes 3rd Edition
Brian P. Flannery, William T. Vetterling, Saul A. Teukolsky, William H. Press
₹7,196
Numerical Recipes Routines and Examples in Basic
Julien C. Sprott, Recipes Soft Numerical Recipes Software
₹5,186
Openmp Shared Memory Parallel Programming
Rudolf Eigenmann, Michael J. Voss
₹5,471