Napredno iskanje

Domov / Knjiga

Combinators, ?-Terms and Proof Theory

S. Stenlund

Založnik: Springer

Cena knjige 92,70 EUR

ISBN9789401029155

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje12. oktober 2011

Strani187

Brezplačna dostava v Slovenijo.

Naroči knjigo

Sorodne knjige

Derivation and Computation

Harold Simmons

Datum izdaje: 2000

ISBN: 9780521771733

169,57 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Lambda-Calculus and Combinators

J. Roger Hindley, J. P. Seldin

Datum izdaje: 2008

ISBN: 9780521898850

74,26 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Lambda-Calculus, Combinators, and Functional Programming

György E. Révész

Datum izdaje: 2009

ISBN: 9780521114295

56,58 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Computer Science Logic

Egon Börger (editor), Yuri Gurevich (editor), Karl Meinke (editor)

Datum izdaje: 1994

ISBN: 9783540582779

49,72 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Interactive Theorem Proving

ITP (Conference), Matt Kaufmann, Lawrence C. Paulson

Datum izdaje: 2010

ISBN: 9783642140518

96,22 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Theory and Practice of Parallel Programming

Takayasu Ito (editor), Akinori Yonezawa (editor)

Datum izdaje: 1. april 1995

ISBN: 9783540591726

57,06 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo