Come Back

Logic programming and automated reasoning : international conference LPAR '92

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

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Logic programming and automated reasoning : international conference LPAR '92

Names

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

Dewey class

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

BNI subject

Logica matematica - Congressi

Description

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

Physical description

XIV, 509 p. ; 25 cm.

Standard numbers

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

Date

c1992

Place of publication

Berlin [etc.]

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\MIL\0138965

Resources links

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

Comments

Load others

Write a comment

Send

Logic programming and automated reasoning : international conference LPAR '92

Tag

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

Comments

Sardinia region

Logic programming and automated reasoning : international conference LPAR '92

Tag

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

Comments