Torna Indietro

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Centro internazionale matematico estivo

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Nomi

Odifreddi, Piergiorgio
Homer, Steven
[Autore] Centro internazionale matematico estivo

Classe Dewey

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

Soggetto BNI

ELABORATORI ELETTRONICI - LINGUAGGIO PROLOG
LOGICA MATEMATICA - CONGRESSI
CONGRESSI - MONTECATINI TERME

Descrizione

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.]

Descrizione Fisica

162 p. ; 25 cm.

Numeri Standard

ISBN: 0387527346, New York
ISBN: 3540527346, Berlin

Data

c1990

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\MIL\0107161

Link Risorse

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

Commenti

Carica altri

Scrivi un commento

Invia

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Tag

Cyprus and Sardinia in the Late Bronze Age: Nuragic table ware at Hala Sultan Tekke

Cyprus and Sardinia in the Late Bronze Age: Nuragic table ware at Hala Sultan Tekke

Inverse problems : lectures given at the 1st 1986 session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, May 28-June 5, 1986

Harmonic mappings and minimal immersions : lectures given at the 1st 1984 session of the Centro internationale [|] matematico estivo (CIME) held at Montecatini, Italy, June 24-July 3, 1984

The hilullah at netivot

The hilullah at netivot

Haarp : live at Wembley Stadium, London, 16 june 2007

Live at Leeds

Commenti

Regione Sardegna

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Tag

Cyprus and Sardinia in the Late Bronze Age: Nuragic table ware at Hala Sultan Tekke

Cyprus and Sardinia in the Late Bronze Age: Nuragic table ware at Hala Sultan Tekke

Inverse problems : lectures given at the 1st 1986 session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, May 28-June 5, 1986

Harmonic mappings and minimal immersions : lectures given at the 1st 1984 session of the Centro internationale [|] matematico estivo (CIME) held at Montecatini, Italy, June 24-July 3, 1984

The hilullah at netivot

The hilullah at netivot

Haarp : live at Wembley Stadium, London, 16 june 2007

Live at Leeds

Commenti