AXIOM
By: Jenks,Richard D.
Contributor(s): Sutor,Robert S.
Material type: BookPublisher: Springer-Verlag, New York c1992Description: xxiv,742.ISBN: 0387978550.Subject(s): Axiom(Computer File) | Mathematics -- Data ProcessingDDC classification: 511.3 | J427AItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 511.3 J427A (Browse shelf) | Book Request | Available | A126152 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
511.3 In8 Logic, methodology, and philosophy of science | 511.3 In8l LOGIC, FOUNDATIONS OF MATHEMATICS, AND COMPUTABILITY THEORY | 511.3 J268c CONFLUENT STRING REWRITING | 511.3 J427A AXIOM | 511.3 J453C COLOURED PETRI NETS | 511.3 J656n NOTES ON LOGIC AND SET THEORY | 511.3 K131f Fuzzy switching and automata |
Includes Bibliographical References And Index
There are no comments for this item.