LISP and Symbolic Computation,volume 15,issue 4  (12-2007)

Period of time： 2007年4期

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 15,issue 4

Menu

Editorial

By Danvy O. in (2002)

LISP and Symbolic Computation,volume 15,issue 4 , Vol. 15, Iss. 4, 2002-12 , pp. 271-271

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Generalization of Short-Cut Fusion and its Correctness Proof

By Johann P. in (2002)

LISP and Symbolic Computation,volume 15,issue 4 , Vol. 15, Iss. 4, 2002-12 , pp. 273-300

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Specification Diagrams for Actor Systems

By Smith S.F. in (2002)

LISP and Symbolic Computation,volume 15,issue 4 , Vol. 15, Iss. 4, 2002-12 , pp. 301-348

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Functional Geometry

By Henderson P. in (2002)

LISP and Symbolic Computation,volume 15,issue 4 , Vol. 15, Iss. 4, 2002-12 , pp. 349-365

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)