Author: Werner Kluge
Publisher: Springer Science & Business Media
ISBN: 3540211462
Category : Computers
Languages : en
Pages : 382
Book Description
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Abstract Computing Machines
Author: Werner Kluge
Publisher: Springer Science & Business Media
ISBN: 3540211462
Category : Computers
Languages : en
Pages : 382
Book Description
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Publisher: Springer Science & Business Media
ISBN: 3540211462
Category : Computers
Languages : en
Pages : 382
Book Description
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Science Abstracts
Author:
Publisher:
ISBN:
Category : Electric engineering
Languages : en
Pages : 802
Book Description
Publisher:
ISBN:
Category : Electric engineering
Languages : en
Pages : 802
Book Description
Science Abstracts
Abstract State Machines
Author: Egon Börger
Publisher: Springer Science & Business Media
ISBN: 364218216X
Category : Computers
Languages : en
Pages : 441
Book Description
Publisher: Springer Science & Business Media
ISBN: 364218216X
Category : Computers
Languages : en
Pages : 441
Book Description
Nuclear Science Abstracts
USSR Scientific Abstracts: Cybernetics, Computers and Automation Technology
Science Abstracts. Physics and Electrical Engineering
Author:
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 584
Book Description
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 584
Book Description