登入選單
Google圖書搜尋
出版社 : Departament de Llenguatges i Sistemes Informàtics [de la] Universitat Politècnica de Catalunya總數: gridview
Recerca a Catalunya
作者
Catalonia (Spain). Comissionat per a Universitats i Recerca
出版1997
ISBN
UOM:39015048588498
主題
Research
Pr
作者
Felipe Cucker Farkas / Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
出版1991
ISBN
OCLC:802802729
Un Compilador per l'UPCLISP
出版1990
ISBN
OCLC:802604443
SP
作者
Lluís Pérez Vidal
出版1990
ISBN
OCLC:802618848
Un Compilador per l'UPCLISP
出版1990
ISBN
OCLC:802604443
Two Problems Dealing with Real Numbers that are Ha...
作者
Felipe Cucker Farkas
出版1990
ISBN
OCLC:802618808
Counting the Number of Solutions
作者
Jacobo Torán Romero
出版1990
ISBN
OCLC:802605541
Natural Language Generation
作者
Athanasios Daradoumis
出版1990
ISBN
OCLC:802618828
On One Query Self-reducible Sets
作者
Antoni Lozano
出版1991
ISBN
OCLC:802641194
A Description of TSC V1.2
作者
Antoni Soto / Sebas Vila
出版1994
ISBN
OCLC:802426800
Some Circumscriptional Thoughts on SBL
作者
Gustavo Núñez Esquer / Ulises Cortés
出版1989
ISBN
OCLC:802583972
Computational Complexity of Small Descriptions
作者
Ricard Gavaldà Mestre / Osamu Watanabe
出版1990
ISBN
OCLC:802618821
A Module Concept Within the Initial Behaviour Fram...
作者
Pilar Nivela Alós
出版1988
ISBN
OCLC:802585452
On the Power of Deterministic Reductions to C
作者
Frederic Green
出版1991
ISBN
OCLC:802904135
A Mechanism for Ellipsis Resolution in Dialogued S...
作者
Arantza Díaz de Ilarraza Sánchez / Horacio Rodríguez Hontoria / Felisa Verdejo Maíllo
出版1990
ISBN
OCLC:802587649
An Implementation of the KNS Ordering
作者
J.M. Rivero
出版1991
ISBN
OCLC:802802699
Specification and Verification of TCSP Systems by ...
作者
Ricardo Peña Marí / L. M. Alonso
出版1988
ISBN
OCLC:802583424
The MINSUMCUT Problem
出版1991
ISBN
OCLC:802685285
IF, a Package for Deciding Systems of Inequalities
作者
Felipe Cucker Farkas / Laureano González-Vega
出版1989
ISBN
OCLC:802585480
Kolmogorov Complexity of #P Functions
作者
Frederic Green / Jacobo Torán Romero
出版1991
ISBN
OCLC:802618850
The MINSUMCUT Problem
出版1991
ISBN
OCLC:802685285
Only Smart Oracles Help
作者
José Luis Balcázar
出版1988
ISBN
OCLC:802583404
Embedding
作者
Celestí Rosselló Balanyà / José Luis Balcázar / Ricardo Peña Marí
出版1988
ISBN
OCLC:802583417
Sistema de control d'incidències via web
作者
Marcel Monserrat Albareda
出版2007
ISBN
OCLC:1120440370
Time Bounded Computations Over the Reals
作者
Felipe Cucker Farkas
出版1991
ISBN
OCLC:802685268
Deriving Specifications of Embeddings in Recursive...
作者
Celestí Rosselló Balanyà / José Luis Balcázar / Ricardo Peña Marí
出版1989
ISBN
OCLC:802585696
The Arithmetical Hierarchy Over the Reals
作者
Felipe Cucker Farkas
出版1991
ISBN
OCLC:802802682
Natural Language Generation Systems
作者
Athanasios Daradoumis
出版1990
ISBN
OCLC:802618834
The Geometric Modelling System DMI
出版1990
ISBN
OCLC:802610902
Optimal Distance Networks of Low Degree for Parall...
出版1989
ISBN
OCLC:802585497