Torna Indietro

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

Workshop on computer science logic <1. ; 1987

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

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

Nomi

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

Classe Dewey

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

Soggetto BNI

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

Descrizione

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

Descrizione Fisica

VI, 346 p. ; 25 cm

Numeri Standard

ISBN: 0387502416, New York
ISBN: 3540502416, Berlin

Data

c1988

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\UFI\0068039

Link Risorse

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

Commenti

Carica altri

Scrivi un commento

Invia

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

Commenti

Regione Sardegna

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

Commenti