Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Sardinia region

Other actions
Come Back Come Back

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989

Symposium on Logical foundations of computer science <1989

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989
Information
You can find it in

Category

Testo

Nature

Monografia

Title

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989

Names

Meyer, Albert R.
Taitslin, Michael A.
[Autore] Symposium on Logical foundations of computer science <1989

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

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 / A. R. Meyer, M. A. Taitslin (eds.)

Physical description

X, 289 p. ; 25 cm

Standard numbers

ISBN: 0387512373, New York
ISBN: 3540512373, Berlin

Date

c1989

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

INGLESE

Another title

Logical foundations of computer science. -

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\UFI\0068132

Resources links

http://id.sbn.it/bid/UFI0068132
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Other actions

Images

[Absent title]

[Absent title]

Author : CDC Spa <1986- 2014>

Year : 1992
A l'occasion du 39. congres de la Federation anarchiste, le 10 juin

A l'occasion du 39. congres de la Federation anarchiste, le 10 juin

Year : 1984

Results 2 of 3961

View All View All

Texts

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

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

Author : Workshop on computer science logic <2. ; 1988

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

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

Author : Workshop on computer science logic <1. ; 1987

Year : 1988

Results 2 of 278733

View All View All

Video

Symposium on love: the devastating little breath of eros

Symposium on love: the devastating little breath of eros

Year : 1997
Nato il quattro luglio

Nato il quattro luglio

Year : 1993

Results 2 of 7765

View All View All

Audio

The folk music of Estonia : musical art of the peoples of the Ussr

The folk music of Estonia : musical art of the peoples of the Ussr

Year : 1986
8: Symphonies 89 & 88

8: Symphonies 89 & 88

Author : Haydn, Franz Joseph

Year : 2002

Results 2 of 2909

View All View All

Comments

Load others

Write a comment

Send
Write a comment