Suivez-nous sur

Recherche

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

Information

Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

Logic programming and automated reasoning : international conference LPAR '92

Des noms

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

Classe Dewey

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

Sujet BNI

Logica matematica - Congressi

Description

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

Description physique

XIV, 509 p. ; 25 cm.

Nombres standard

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

Date

c1992

Place de publication

Berlin [etc.]

Village

GERMANIA

Langue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0138965

Liens de ressources

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

Étiqueter

Images

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

Auteur : 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

Auteur : Miller, James E.

Résultats 2 de 25172

Des textes

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

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

Année : 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

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

Année : 1992

Résultats 2 de 2185333

Vidéo

Trekking on tradition

Trekking on tradition

Année : 1992

Trekking on tradition

Trekking on tradition

Année : 1992

Résultats 2 de 69648

l\'audio

3 Dance episodes from 'On the town'

3 Dance episodes from 'On the town'

Auteur : Bernstein, Leonard

Année : 1992

Variations and fugue on a theme of Purcell

Variations and fugue on a theme of Purcell

Auteur : Britten, Benjamin

Année : 1992

Résultats 2 de 24385

commentaires

Chargez les autres

Écrire un commentaire

Envoyer