| Logica Universalis |
- isbn : 978-3-7643-7304-7
- pisbn : 978-3-7643-7259-0
|
Fulltext
|
| Anaphora and Type Logical Grammar |
- isbn : 978-1-4020-3905-8
- pisbn : 978-1-4020-3904-1
|
Fulltext
|
| The Schur Complement and Its Applications |
- isbn : 978-0-387-24273-6
- pisbn : 978-0-387-24271-2
|
Fulltext
|
| High Performance Computing in Science and Engineering, Garching 2004 |
- isbn : 978-3-540-28555-7
- pisbn : 978-3-540-26145-2
|
Fulltext
|
| Current Trends in High Performance Computing and Its Applications |
- isbn : 978-3-540-27912-9
- pisbn : 978-3-540-25785-1
|
Fulltext
|
| Reasoning Robots |
- isbn : 978-1-4020-3069-7
- pisbn : 978-1-4020-3068-0
|
Fulltext
|
| A Modern Perspective on Type Theory |
- isbn : 978-1-4020-2335-4
- pisbn : 978-1-4020-2334-7
|
Fulltext
|
| Mathematics Is Not a Spectator Sport |
- isbn : 978-0-387-28697-6
- pisbn : 978-0-387-25528-6
|
Fulltext
|
| Propositional and Predicate Calculus: A Model of Argument |
- isbn : 978-1-84628-229-4
- pisbn : 978-1-85233-921-0
|
Fulltext
|
| Introduction to Complex Analysis in Several Variables |
- isbn : 978-3-7643-7491-4
- pisbn : 978-3-7643-7490-7
|
Fulltext
|