Come Back

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Workshop on computer science logic <1. ; 1987

Information

You can find it in

Category

Testo

Nature

Monografia

Title

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Names

Börger, Egon
Richter, Michael M. <1938- >
Kleine Buning, Hans
[Autore] Workshop on computer science logic <1. ; 1987

Dewey class

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

BNI subject

Logica matematica - Congressi
Linguaggi di programmazione - Congressi
Logica matematica - Applicazioni alla programmazione degli elaboratori elettronici

Description

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987 / E. Borger, H. Kleine Buning, M. M. Richter (eds.)

Physical description

VI, 346 p. ; 25 cm

Standard numbers

ISBN: 0387502416, New York
ISBN: 3540502416, Berlin

Date

c1988

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\UFI\0068039

Resources links

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

Comments

Load others

Write a comment

Send

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Tag

Au premier trimestre 1987, les Associations Texture et Miroir de Lille et Roubaix on realisé et diffusé une carte de citoyen ..

Au premier trimestre 1987, les Associations Texture et Miroir de Lille et Roubaix on realisé et diffusé une carte de citoyen ..

CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988

Computer science logic : 5. workshop, CSL '91

Logica : stimola il ragionamento logico

Viaggio nella matematica

Che cos'è la logica?

Orgelkonzerte Vol.2

Comments

Sardinia region

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Tag

Au premier trimestre 1987, les Associations Texture et Miroir de Lille et Roubaix on realisé et diffusé une carte de citoyen ..

Au premier trimestre 1987, les Associations Texture et Miroir de Lille et Roubaix on realisé et diffusé une carte de citoyen ..

CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988

Computer science logic : 5. workshop, CSL '91

Logica : stimola il ragionamento logico

Viaggio nella matematica

Che cos'è la logica?

Orgelkonzerte Vol.2

Comments