It-Security and Privacy
Simone Fischer-Hübner
₹5,559
Computational Aspects of an Order-Sorted Logic with Term Declarations
₹3,919
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Computational Aspects of an Order-Sorted Logic with Term Declarations is a carefully curated title by Manfred Schmidt-Schauß , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540517054
- ISBN-10
- 3540517057
- Author
- Manfred Schmidt-Schauß
- Publisher
- Springer
- Condition
- New
Related books
Fließproduktionssysteme
Heinrich Kuhn
₹3,508
Anwendungen Und Technik Von Near Field Communication (NFC)
Josef Langer, Michael Roland
₹4,941
Modular Algorithms in Symbolic Summation and Symbolic Integration
Jürgen Gerhard
₹5,576
Soft Computing in Green and Renewable Energy Systems
Kasthurirangan Gopalakrishnan, Siddhartha Kumar Khaitan, Soteris Kalogirou
₹5,197
Flugzeugstatik
Aloys Van Gries
₹5,498
Architecting Dependable Systems VII
Antonio Casimiro, Rogério de Lemos, Cristina Gacek
₹5,432
Web Technologies and Applications
Hua Wang, Lei Zou, Guangyan Huang
₹5,449
Die Typentheorie Und Die Molekularformeln
Theodor Petersen
₹3,508
Les Fondements Phénoménologiques de la Sociologie Compréhensive
R. Williame
₹5,604
Sdl 2001
Rick Reed, Jeanne Reed
₹5,832
Einleitung in Die Formbeschreibende Krystallographie
Victor Goldschmidt
₹3,508