Image from Amazon.com
Algorithm synthesis : a comparative study / D.M. Steier & A.P. Anderson
Publication details: New York : Springer-Verlag, 1989Description: viii, 118 p. ; 23 cmISBN:- 0387969608
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | - | QA9.58.S74[00008022371] (Browse shelf(Opens below)) | 1 | Available | 00000269922 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA9.54.T34[00008031801] Proof theory/ | QA9.54.T658 Tableau systems for first order number theory and certain higher order theories / | QA9.58 .D68 Simplicial algorithms on the simplotope / | QA9.58.S74[00008022371] Algorithm synthesis : a comparative study / | QA9.59.F58[00008031803] Computability theory, semantics, and logic programming / | QA9.59.G677[00008033648] Edinburgh LCF : a mechanised logic of computation / | QA9.59.P68[00008031804] Computability in analysis and physics / |
Includes bibliographical references
There are no comments on this title.
Log in to your account to post a comment.