Theory Reasoning in Connection Calculi

Composite Mathematics For Class 6

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Composite Mathematics For Class 7

Composite Mathematics For Class 8

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers

New Mathematics Today Class 8

Phraseological Dictionary English - German: General Vocabulary in Technical and Scientific Texts

Problems and Solutions for Integer and Combinatorial Optimization: Building Skills in Discrete Optimization

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Programming in Haskell: Edition 2

New Mathematics Today Class 7

NCERT Mathematics Practice Book 7

ISC Mathematics Class XII (2021 Edition)

NCERT Mathematics Practice Book 8

ISC Mathematics for Class XI (2021 Edition)