| Matrix-Based Multigrid |
- isbn : 9781475737264
- pisbn : 9781402074851
|
Fulltext
|
| Mathematical Problems and Proofs |
- isbn : 9780306469633
- pisbn : 9780306459672
|
Fulltext
|
| Different Faces of Geometry |
- isbn : 9780306486586
- pisbn : 9780306486579
|
Fulltext
|
| Nonlinear Problems in Mathematical Physics and Related Topics I |
- isbn : 9781461507772
- pisbn : 9780306473333
|
Fulltext
|
| Inference on the Low Level |
- isbn : 9781402028069
- pisbn : 9781402024924
|
Fulltext
|
| Labelled Deduction |
- isbn : 9789401140409
- pisbn : 9780792362371
|
Fulltext
|
| Logical and Computational Aspects of Model-Based Reasoning |
- isbn : 9789401005500
- pisbn : 9781402007125
|
Fulltext
|
| Automated Model Building |
- isbn : 9781402026539
- pisbn : 9781402026522
|
Fulltext
|
| The Death of Argument |
- isbn : 9781402027123
- pisbn : 9781402026638
|
Fulltext
|
| The Semantics and Proof Theory of the Logic of Bunched Implications |
- isbn : 9789401700917
- pisbn : 9781402007453
|
Fulltext
|