Seguici su
Cerca Cerca nel sito

Regione Sardegna

Logic programming and automated reasoning : international conference LPAR '92

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

Categoria

Natura

Titolo

Logic programming and automated reasoning : international conference LPAR '92

Descrizione

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

Descrizione Fisica

XIV, 509 p. ; 25 cm.

Numeri Standard

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

Data

c1992

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

ID

IT\ICCU\MIL\0138965
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Commenti

Scrivi un commento

Invia