Unhighlight Highlight
1. Selected papers on analysis of algorithms /   Publication: [Stanford, Calif.] : Center for the Study of Language and Information, Leland Stanford Junior University, 2000 . xvi, 621 p. : 24 cm. Date:2000 Availability: Copies available: Turkeyen Campus Science & Technology [QA9.58 .K65 2000] (1), Actions: Add to cart
2. The language of first-order logic :   Publication: Stanford, Calif. : Center for the Study of Language and Information, 1993 . xiv, 313 p. Date:1993 Availability: Copies available: Turkeyen Campus Education & Humanities [BC128 B37 1993] (1), Actions: Add to cart