Consistency of the Continuum Hypothesis. (AM-3), Volume 3
Kurt Godel
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£45.00
£36.05
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketEUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions
Caviness Bob F. Caviness
Out of stock
Format: Book (Paperback)
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures
Buchberger Bruno Buchberger
Out of stock
Format: Book (Paperback)
Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom Vincent van Oostrom
Out of stock
Format: Book (Paperback)
Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Mohua Banerjee
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£49.15
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLogic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Banerjee Mohua Banerjee
Out of stock
Format: Book (Paperback)
Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Luke Ong
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
Junghuei Chen
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Forging Connections between Computational Mathematics and Computational Geometry : Papers from the 3rd International Conference on Computational Mathematics and Computational Geometry
Ke Chen
Out of stock
Format: Book (Paperback / softback)
Algebraic Set Theory
Andri (Universite du Quebec, Montreal) Joyal
Out of stock
Format: Book (Paperback / softback)
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Phillip James
Out of stock
Format: Book (Paperback / softback)