A Proof Theory for General Unification |
- isbn : 9781461204350
- pisbn : 9780817635930
- doi : 10.1007/978-1-4612-0435-0
|
Fulltext
|
Automata Theory and its Applications |
- isbn : 9781461201717
- pisbn : 9780817642075
- doi : 10.1007/978-1-4612-0171-7
|
Fulltext
|
Bounded Queries in Recursion Theory |
- isbn : 9781461206354
- pisbn : 9780817639662
- doi : 10.1007/978-1-4612-0635-4
|
Fulltext
|
An Introduction to Quantum Computing Algorithms |
- isbn : 9781461213901
- pisbn : 9780817641276
- doi : 10.1007/978-1-4612-1390-1
|
Fulltext
|
Learning and Geometry: Computational Approaches |
- isbn : 9781461240884
- pisbn : 9780817638252
- doi : 10.1007/978-1-4612-4088-4
|
Fulltext
|
Interpolating Cubic Splines |
- isbn : 9781461213208
- pisbn : 9780817641009
- doi : 10.1007/978-1-4612-1320-8
|
Fulltext
|
The Evolution of Programs |
- isbn : 9781461256212
- pisbn : 9780817631710
- doi : 10.1007/978-1-4612-5621-2
|
Fulltext
|
Cryptography and Computational Number Theory |
- isbn : 9783034882958
- pisbn : 9783764365103
- doi : 10.1007/978-3-0348-8295-8
|
Fulltext
|
Non-Commutative Valuation Rings and Semi-Hereditary Orders |
- isbn : 9789401724364
- pisbn : 9780792345626
- doi : 10.1007/978-94-017-2436-4
|
Fulltext
|
The Hauptvermutung Book |
- isbn : 9789401733434
- pisbn : 9780792341741
- doi : 10.1007/978-94-017-3343-4
|
Fulltext
|