Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------.

(Lecture Notes in Computer Science ; 12073)

Call No. (NDL): M17-22-586
Bibliographic ID of National Diet Library: 031982577

Material type: 図書

Author: Fuji International Symposium on Functional and Logic Programming (15th : 2020 : Online)ほか

Publisher: Springer

Publication date: [2020]

Material Format: Paper

Capacity, size, etc.: xii, 219 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers.Held online.

Other physical details：: illustrations (black and white)

Related materials as well as pre- and post-revision versions

http://link.springer.com：1850-9999

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

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: 9783030590246 paperback
3030590240
ISBN (error code): 9783030590253 ebook
ISSN (series): 0302-9743
Title: Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------.
Series Title: Lecture Notes in Computer Science ; 12073
Author Heading: Fuji International Symposium on Functional and Logic Programming (15th : 2020 : Online)
Nakano, Keisuke.
Sagonas, Konstantinos.
Publication, Distribution, etc.: Cham, Switzerland : Springer (出版)
Publication Date: [2020]
Publication Date (W3CDTF): 2020
Extent: xii, 219 pages
Other physical details: illustrations (black and white)
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference papers and proceedings.
Content Type: text
still image
Media Type: unmediated
Carrier Type: volume
Subject Heading: Functional programming (Computer science)--Congresses.
Logic programming--Congresses.
Programmation fonctionnelle--Congrès.
Programmation logique--Congrès.
Functional programming (Computer science)
Logic programming.
DDC: 005.114
NDLC: M17
Target Audience: 一般
Note (General): An abstract and papers.
Held online.
Note (Bibliography): Includes bibliographical references and author index.
Note (Additional Physical Form Available): Also issued online.
Holding library: 国立国会図書館
Call No.: M17-22-586
Related Material: http://link.springer.com
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 031982577
http://id.ndl.go.jp/bib/031982577
OCLC No.: 1222776694
https://www.worldcat.org/oclc/1222776694
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215