Siga con nosotros

Buscar

Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Logic programming and automated reasoning : international conference LPAR '92

Información

Puedes encontrarlo en

Categoría

Testo

Naturaleza

Monografia

Título

Logic programming and automated reasoning : international conference LPAR '92

Nombres

Voronkov, Andrei <1959- >
[Autore] International conference on logic programming and automated reasoning <3. ; 1992

Clase de Dewey

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

Sujeto BNI

Logica matematica - Congressi

Descripción

Logic programming and automated reasoning : international conference LPAR '92 / A. Voronkov (ed.)

Descripción física

XIV, 509 p. ; 25 cm.

Números estándar

ISBN: 038755727X, New York
ISBN: 354055727X, Berlin

Fecha

c1992

Lugar de publicacion

Berlin [etc.]

Aldea

GERMANIA

Lengua

INGLESE

Fuente

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0138965

Enlaces de recursos

http://id.sbn.it/bid/MIL0138965

Etiqueta

Imágenes

The man who wasn't there: The United States, Italy and Yalta conference

The man who wasn't there: The United States, Italy and Yalta conference

Autor : Miller, James E.

The man who wasn't there: The United States, Italy and Yalta conference

The man who wasn't there: The United States, Italy and Yalta conference

Autor : Miller, James E.

Resultados 2 de 25172

Textos

Logic programming and nonmonotonic reasoning : 4. international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997

Logic programming and nonmonotonic reasoning : 4. international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997

Autor : International conference on logic programming and non-monotonic reasoning <4. ; 1997

Año : 1997

Logic programming : first Russian conference on logic programming, Irkutsk, Russia, September 14-18, 1990, second Russian conference on logic programming, St. Petersburg, Russia, September 11-16, 1991

Logic programming : first Russian conference on logic programming, Irkutsk, Russia, September 14-18, 1990, second Russian conference on logic programming, St. Petersburg, Russia, September 11-16, 1991

Autor : Russian conference on logic programming <1. ; 1990

Año : 1992

Resultados 2 de 2185333

Video

Trekking on tradition

Trekking on tradition

Año : 1992

Trekking on tradition

Trekking on tradition

Año : 1992

Resultados 2 de 69648

Audio

3 Dance episodes from 'On the town'

3 Dance episodes from 'On the town'

Autor : Bernstein, Leonard

Año : 1992

Variations and fugue on a theme of Purcell

Variations and fugue on a theme of Purcell

Autor : Britten, Benjamin

Año : 1992

Resultados 2 de 24385

Comentario

Escribir un comentario

Enviar