Logic from computer science: proceedings of a workshop held November 13-17, 1989
Saved in:
Main Author: | |
---|---|
Format: | TEXT |
Published: |
Springer-Verlag
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
kulonprogolib-15043 |
---|---|
record_format |
oai_dc |
spelling |
kulonprogolib-150432016-08-08 00:00:00PERPUSDA Kulon ProgoLogic from computer science: proceedings of a workshop held November 13-17, 1989 Y.N. MoschovakisLogika simbolis dan matematis Springer-Verlag TEXT |
institution |
DPK Kulonprogo Yogyakarta |
collection |
Perpustakaan Yogyakarta |
topic |
Logika simbolis dan matematis |
spellingShingle |
Logika simbolis dan matematis Y.N. Moschovakis Logic from computer science: proceedings of a workshop held November 13-17, 1989 |
description |
|
format |
TEXT |
author |
Y.N. Moschovakis |
author_facet |
Y.N. Moschovakis |
author_sort |
Y.N. Moschovakis |
title |
Logic from computer science: proceedings of a workshop held November 13-17, 1989 |
title_short |
Logic from computer science: proceedings of a workshop held November 13-17, 1989 |
title_full |
Logic from computer science: proceedings of a workshop held November 13-17, 1989 |
title_fullStr |
Logic from computer science: proceedings of a workshop held November 13-17, 1989 |
title_full_unstemmed |
Logic from computer science: proceedings of a workshop held November 13-17, 1989 |
title_sort |
logic from computer science: proceedings of a workshop held november 13-17, 1989 |
publisher |
Springer-Verlag
|
publishDate |
|
_version_ |
1742480734814208000 |