Komm zurück

Logic programming and automated reasoning : international conference LPAR '92

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

Information

Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

Logic programming and automated reasoning : international conference LPAR '92

Namen

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

Dewey -Klasse

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

BNI -Subjekt

Logica matematica - Congressi

Beschreibung

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

Physische Beschreibung

XIV, 509 p. ; 25 cm.

Standardzahlen

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

Datum

c1992

Ort der Veröffentlichung

Berlin [etc.]

Dorf

GERMANIA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

IT\ICCU\MIL\0138965

Ressourcenverbindungen

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

Etikett

Bilder

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

Autor : Miller, James E.

Ergebnisse 2 von 25172

Alle ansehen

Texte

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

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

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

Jahr : 1992

Ergebnisse 2 von 2185333

Alle ansehen

Video

Trekking on tradition

Jahr : 1992

Trekking on tradition

Jahr : 1992

Ergebnisse 2 von 69648

Alle ansehen

Audio

3 Dance episodes from 'On the town'

Autor : Bernstein, Leonard

Jahr : 1992

Variations and fugue on a theme of Purcell

Autor : Britten, Benjamin

Jahr : 1992

Ergebnisse 2 von 24385

Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken

Sardinienregion

Logic programming and automated reasoning : international conference LPAR '92

Etikett

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

Logic programming and nonmonotonic reasoning : 4. international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 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

Trekking on tradition

Trekking on tradition

3 Dance episodes from 'On the town'

Variations and fugue on a theme of Purcell

Kommentare