THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
By: Manna, Zohar.
Contributor(s): Waldinger, Richard.
Material type:
BookSeries: Addison-Wesley Series In Computer Science. Publisher: Reading, Mass. Addison-Wesley 1985Description: 2 v.Subject(s): Programming (Electronic Digital Computers) | Logic, Symbolic And MathematicalDDC classification: 519.7 | M315L
| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 519.7 M315L (Browse shelf) | v. 1 | Available | A88612 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
| 519.7 L329p PRINCIPLES OF DYNAMICS PROGRAMMING | 519.7 L423c Combinatorial optimization | 519.7 L787 LOCAL SEARCH IN COMBINATORIAL OPTIMIZATION | 519.7 M315L THE LOGICAL BASIS FOR COMPUTER PROGRAMMING | 519.7 M315L THE LOGICAL BASIS FOR COMPUTER PROGRAMMING | 519.7 M42 Mathematical programming and game theory for decision making | 519.7 M582h2 How to solve it |
Contents. -- V. 1. Deductive Reasoning. -- V. 2. Deductive Techniques
There are no comments for this item.