Basic Proof Theory
A. S. Troelstra,
H. Schwichtenberg
Buy new from £51.77
|
Topology via Logic
Steven Vickers
Buy new from £59.46
|
Quantum Mechanics in Drug...
Alexander Heifetz (Editor)
Buy new from £199.20
|
Deceptive AI: First...
Stefan Sarkadi (Editor),
Benjamin Wright (Editor)
Buy new from £60.57
eBook from £17.19
|
Heyting Algebras: Duality...
Leo Esakia,
Guram Bezhanishvili (Editor)
Buy new from £55.06
|
A First Introduction to...
Bernard Zygelman
Buy new from £110.06
|
Forward Error Correction...
Jafar A. Alzubi,
Omar A. Alzubi
Buy new from £49.62
eBook from £13.50
|
Complexity Theory: Exploring...
Ingo Wegener,
R. Pruim (Translator)
Buy new from £72.69
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from £49.52
eBook from £13.50
|
Model-Driven Software...
Christian Wagner
Buy new from £107.27
eBook from £29.21
|
Artificial Mathematical...
Danny A. J. Gómez Ramírez
Buy new from £49.39
|
Systems and Software...
B. Berard,
P. McKenzie (Translator)
Buy new from £130.32
eBook from £36.57
|
Probability Logics:...
Zoran Ognjanovic,
Miodrag Raskovic
Buy new from £198.48
|
Neural-Symbolic Cognitive...
Artur S. D'Avila Garcez,
Luís C. Lamb
Buy new from £68.84
|
Mastering Computer Vision...
Krishnendu Kar
Buy new from £41.79
eBook from £27.81
|
Encrypt, Sign, Attack: A...
Olaf Manz
Buy new from £17.62
eBook from £8.60
|
Quantum Codes for Topological...
Clarice Dias de Albuquerque,
Eduardo Brandani da Silva
Buy new from £21.95
eBook from £14.73
|
Guide to Discrete Mathematics...
Gerard O'Regan
Buy new from £44.02
|
Metamathematics, Machines and...
N. Shankar
Buy new from £49.40
|
Numerical Nonsmooth...
Adil M Bagirov (Editor),
Manlio Gaudioso (Editor)
Buy new from £161.06
|
Digital Fourier Analysis:...
Ken'iti Kido
Buy new from £49.62
eBook from £12.28
|
Guide to Graph Colouring:...
R. M. R. Lewis
Buy new from £53.47
|
Introduction to the Theory of...
Michael Sipser
Buy new from £44.61
|
Elements of Discrete...
Chung Laung Liu
Buy new from £169.31
|
