LISP and Symbolic Computation,volume 12,issue 2  (09-2007)

Period of time： 2007年2期

Publisher： Springer Publishing Company

Founded in： 1988

Total resources： 33

ISSN： 1388-3690

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

LISP and Symbolic Computation,volume 12,issue 2

Menu

Introduction

By Danvy O. in (1999)

LISP and Symbolic Computation,volume 12,issue 2 , Vol. 12, Iss. 2, 1999-09 , pp. 123-124

Springer Publishing Company

Abstract Access to resources Recommend Favorite

CPS Translations and Applications: The Cube and Beyond

By Barthe G. in (1999)

LISP and Symbolic Computation,volume 12,issue 2 , Vol. 12, Iss. 2, 1999-09 , pp. 125-170

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Computing with Contexts

By Mason I.A. in (1999)

LISP and Symbolic Computation,volume 12,issue 2 , Vol. 12, Iss. 2, 1999-09 , pp. 171-201

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Partial Evaluation of the Euclidean Algorithm, Revisited

By Lee C.S. in (1999)

LISP and Symbolic Computation,volume 12,issue 2 , Vol. 12, Iss. 2, 1999-09 , pp. 203-212

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)