MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
02787nam a2200253 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20250311170409.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s1996 gw a r 100 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
3540609393 |
| 024 8# - Otro identificador estandar |
|---|
| Número estándar o código |
DIF-M6224 |
| -- |
6350 |
| -- |
DIF005689 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
|---|
| Nombre de congreso/reunión o jurisdicción como elemento de entrada |
|
| Número del congreso/reunión o número de parte o sección |
(5th : |
| Fecha del congreso/reunión |
1995 ) |
| 245 00 - MENCIÓN DE TÍTULO |
|---|
| Título |
Logic program synthesis and transformation : |
| Resto del título |
5th International Workshop, LOPSTR’95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
1a ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Berlín : |
| Nombre del editor, distribuidor, etc. |
Springer, |
| Fecha de publicación, distribución, etc. |
c1996 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
x, 266 p. : |
| Otras características físicas |
il. ; |
| Dimensiones |
24 cm. |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Lecture notes in computer science |
| Designación de volumen o secuencia |
1048 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Incluye referencias bibliográficas e índice. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints / -- Michael Leuschel -- Memoing Evaluation by Source-to-Source Transformation / -- Jens E. Wunderwald -- Transformation of Left Terminating Programs: The Reordering Problem / -- Annalisa Bossi, Nicoletta Cocco, and Sandro Etalle -- Derivation of Concurrent Algorithms in Tempo / -- Steve Gregory -- An Argumentation-Theoretic Approach to Logic Program Transformation / -- Francesca Toni and Robert A. Kowalski -- Complexity of Horn Programs / -- Erik Aarts -- Interpretation Framework for Granularity Analysis / -- M.M. Gallardo and J.M. Troya -- Towards Automatic Control for C L P ( x ) Programs / -- Fred Mesnard -- Ideal Refinement of Datalog Programs / -- Giovanni Semeraro, Floriana Esposito, and Donato Malerba -- Guiding Program Development Systems by a Connection Based Proof Strategy / -- Cristoph I(reitz, Jens Otten, and Stephan Schmitt -- Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs / -- Kung-Kiu Lau and Mario Ornaghi -- Logic P r o g r a m Synthesis by Induction over Horn Clauses / -- Andrew J. Parkes and Geraint A. Wiggins -- Logic P r o g r a m Transformation Through Generalization Schemata / -- Pierre Flener and Yves Deville -- An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations / -- Wamberto W. Vasconcelos and Norberr E. Fuchs -- Solving Deductive Planning Problems Using Program AnMysis and Transformation / -- D.A. de Waal and M. Thielscher -- Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs Under the Completion / -- Sophie Renault -- Termination of Logic Programs Using Semantic Unification / -- Thomas Arts and Hans Zantema -- On the Mechanics of Metasystem Hierarchies in Program Transformation / -- Robert Gliick -- Efficient Translation of Lazy Functional Logic Programs into Prolog / -- Michael Hanus |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
REUNIONES |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN LÓGICA |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Proietti, Maurizio |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Libro |