Search Results - Progress in Computer Science and Applied Logic - Books

Advances in Proof Theory

Paperback / softback 27 May 2018
ISBN: 9783319805139
Dewey: 511.36
£80.99
RRP £89.99 Save 10%
£44.99
Licence From
£53.99
Available on VLeBooks

Graph-based Proof Procedures for Horn Clauses. : 10

Ebook 21 Nov 2013
Publisher Birkhauser
ISBN: 9781489935564
Dewey: 005.1
Licence From
£44.99
Available on VLeBooks
£24.99
Licence From
£44.99
Available on VLeBooks
£24.99
£44.99
Licence From
£44.99
Available on VLeBooks

Proof Theory for General Unification : 11

Ebook 6 Dec 2012
Publisher Birkhauser
ISBN: 9781461204350
Dewey: 511.3
Licence From
£44.99
Available on VLeBooks
Licence From
£59.99
Available on VLeBooks
Licence From
£89.50
Available on VLeBooks

Real-time Control of Walking : v. 7

Ebook 29 Jun 2013
Publisher Birkhauser
ISBN: 9781461249900
Dewey: 629.892
Licence From
£44.99
Available on VLeBooks

Real-Time Control of Walking

Paperback 24 Nov 2011
Publisher Birkhauser
ISBN: 9781461249917
£24.99

Evolution of Programs. : 5

Ebook 14 Mar 2013
Publisher Birkhauser
ISBN: 9781461256212
Licence From
£44.99
Available on VLeBooks

The Evolution of Programs

Paperback 29 May 2013
Publisher Birkhauser
ISBN: 9781461256229
£24.99
Licence From
£99.50
Available on VLeBooks

Advances in Proof Theory

Paperback 7 May 2016
Publisher Birkhauser
ISBN: 9783319291970
£24.99
Licence From
£89.50
Available on VLeBooks
Licence From
£38.99
Available on VLeBooks

Feasible Mathematics II

Hardback 22 Dec 1994
ISBN: 9780817636753
Dewey: 511.3
£72.00
£59.99
Licence From
£89.50
Available on VLeBooks
£24.99
1
2
3
4
>
>>