COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds. (Lecture notes in computer science)

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds.

(Lecture notes in computer science)

Call No. (NDL): M15-A7573
Bibliographic ID of National Diet Library: 000003197146

Material type: 図書

Author: International Conference on Computer Logic (1988 : Tallinn, Estonia)ほか

Publisher: Springer-Verlag

Publication date: c1990.

Material Format: Paper

Capacity, size, etc.: vi, 338 p. ; 25 cm.

NDC: -

View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540523359 (Berlin)
0387523359 (New York)
Title: COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds.
Series Title: Lecture notes in computer science
Author Heading: International Conference on Computer Logic (1988 : Tallinn, Estonia)
Martin-Löf, Per, 1942-
Mint͡s, G. E.
Publication, Distribution, etc.: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1990.
Publication Date (W3CDTF): 1990
Extent: vi, 338 p. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer science -- Mathematics -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
LCC: QA76.9.M35
DDC: 004/.01/5113
NDLC: M15
M154
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: M15-A7573
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003197146
http://id.ndl.go.jp/bib/000003197146
LC Control Number: 90009465
https://lccn.loc.gov/90009465
Bibliographic Record Category (NDL): 211