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
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 20,issue 1-2
Menu
By Martí-Oliet Narciso in (2007)
LISP and Symbolic Computation,volume 20,issue 1-2 , Vol. 20, Iss. 1-2, 2007-06 , pp.A ρ-calculus of explicit constraint application
LISP and Symbolic Computation,volume 20,issue 1-2 , Vol. 20, Iss. 1-2, 2007-06 , pp.A new generic scheme for functional logic programming with constraints
By López Fraguas Francisco in (2007)
LISP and Symbolic Computation,volume 20,issue 1-2 , Vol. 20, Iss. 1-2, 2007-06 , pp.Semantics and pragmatics of Real-Time Maude
LISP and Symbolic Computation,volume 20,issue 1-2 , Vol. 20, Iss. 1-2, 2007-06 , pp.