Torna Indietro

7th international conference on automated deduction : Napa, California, USA, may 14-16, 1984: proceedings

International conference on automated deduction <7. ; 1984

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

7th international conference on automated deduction : Napa, California, USA, may 14-16, 1984: proceedings

Nomi

Shostak, Robert E.
[Autore] International conference on automated deduction <7. ; 1984

Descrizione

7th international conference on automated deduction : Napa, California, USA, may 14-16, 1984: proceedings / edited by R.E. Shostak

Descrizione Fisica

VI, 508 p. ; 24 cm

Numeri Standard

ISBN: 0387960228
ISBN: 3540960228

Data

1984

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\FER\0043318

Link Risorse

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

Commenti

Carica altri

Scrivi un commento

Invia

7th international conference on automated deduction : Napa, California, USA, may 14-16, 1984: proceedings

Tag

Salgemma (serie)

Ulexite (esemplare)

9. International conference on automated deduction : Argonne, Illinois, USA, May 23-26, 1988

6. Conference on automated deduction : New York, USA, June 7-9, 1982

Vanishing on 7th street

Vanishing on 7th street

Sinfonia n. 7 in Mi minore

1: May night, overture

Commenti

Regione Sardegna

7th international conference on automated deduction : Napa, California, USA, may 14-16, 1984: proceedings

Tag

Salgemma (serie)

Ulexite (esemplare)

9. International conference on automated deduction : Argonne, Illinois, USA, May 23-26, 1988

6. Conference on automated deduction : New York, USA, June 7-9, 1982

Vanishing on 7th street

Vanishing on 7th street

Sinfonia n. 7 in Mi minore

1: May night, overture

Commenti