It-Security and Privacy
Simone Fischer-Hübner
₹5,559
Computational Aspects of an Order-Sorted Logic with Term Declarations
Springer · 1989
₹3,919
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Computational Aspects of an Order-Sorted Logic with Term Declarations by Manfred Schmidt-Schau is a book published by Springer in 1989.
Topics covered include Sorting (electronic computers).
Subjects
Book details
- ISBN-13
- 9783540517054
- ISBN-10
- 3540517057
- Author
- Manfred Schmidt-Schau
- Publisher
- Springer
- Published
- 1989
- Language
- English
- Condition
- New
Related books
Fließproduktionssysteme
Heinrich Kuhn
₹3,508
The South China Sea and Asian Regionalism
Knio Karim Thanh-Dam Truong
₹4,186
Technetium in the Environment
G. Desmet
₹7,731
Legal Status of Government Merchant Ships in International Law
Thamarappallil Kochu Thommen
₹4,242
Anwendungen Und Technik Von Near Field Communication
Josef Langer, Michael Roland
₹4,941
Development Report on China’s New Media
Xinxun Wu Xujun Tang, Ruisheng Liu Chuxin Huang
₹2,834
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
Topologies as Techniques for a Post-Critical Rhetoric
Casey Boyle Lynda Walsh
₹4,209