Come Back

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

Information

You can find it in

Category

Testo

Nature

Monografia

Title

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

Names

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

Dewey class

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

BNI subject

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

Description

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.]

Physical description

162 p. ; 25 cm.

Standard numbers

ISBN: 0387527346, New York
ISBN: 3540527346, Berlin

Date

c1990

Place of publication

Berlin [etc.]

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\MIL\0107161

Resources links

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

Comments

Load others

Write a comment

Send

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

Comments

Sardinia region

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

Comments