Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy from $46.92
eBook from $47.70
|
Linear-Fractional Programming...
E B Bajalinov
Buy from $48.00
eBook from $47.70
|
Research Directions in...
Kevin Hammond (Editor),
Greg Michaelson (Editor)
Buy from $103.32
eBook from $29.70
|
Functional and Logic...
Aart Middeldorp (Editor),
Taisuke Sato (Editor)
Buy from $37.40
eBook from $16.50
|
The Functional Approach to...
Guy Cousineau,
Michel Mauny
Buy from $3.49
eBook from $71.20
|
Functional and Logic...
Tetsuo Ida (Editor),
Masato Takeichi (Editor)
Buy from $86.42
eBook from $151.00
|
An Architecture for...
Philip J Koopman
Buy from $20.00
eBook from $31.95
|
