LISP and Symbolic Computation,volume 16,issue 1-2  (03-2007)

Period of time： 2007年1-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 16,issue 1-2

Menu

Editorial

By Danvy O. in (2003)

LISP and Symbolic Computation,volume 16,issue 1-2 , Vol. 16, Iss. 1-2, 2003-03 , pp. 5-6

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Research Retrospective

By Paige B. in (2003)

LISP and Symbolic Computation,volume 16,issue 1-2 , Vol. 16, Iss. 1-2, 2003-03 , pp. 7-13

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Universal Regular Path Queries

By de Moor O. in (2003)

LISP and Symbolic Computation,volume 16,issue 1-2 , Vol. 16, Iss. 1-2, 2003-03 , pp. 15-35

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Dynamic Programming via Static Incrementalization

By Liu Y.A. in (2003)

LISP and Symbolic Computation,volume 16,issue 1-2 , Vol. 16, Iss. 1-2, 2003-03 , pp. 37-62

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Program Synthesis from Formal Requirements Specifications Using APTS

By Leonard E.I. in (2003)

LISP and Symbolic Computation,volume 16,issue 1-2 , Vol. 16, Iss. 1-2, 2003-03 , pp. 63-92

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Computational Divided Differencing and Divided-Difference Arithmetics

By Reps T.W. in (2003)

LISP and Symbolic Computation,volume 16,issue 1-2 , Vol. 16, Iss. 1-2, 2003-03 , pp. 93-149

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)