Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan.

(Lecture Notes in Computer Science ; 13215)

Call No. (NDL): M17-24-12
Bibliographic ID of National Diet Library: 032533395

Material type: 図書

Author: International Symposium on Functional and Logic Programming (16th : 2022 : Kyoto, Japan)ほか

Publisher: Springer

Publication date: [2022]

Material Format: Paper

Capacity, size, etc.: xvi, 281 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers.

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: 9783030994600
ISSN (series): 0302-9743
Title: Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan.
Series Title: Lecture Notes in Computer Science ; 13215
Author Heading: International Symposium on Functional and Logic Programming (16th : 2022 : Kyoto, Japan)
Hanus, Michael, 1959-
Igarashi, Atsushi (Computer engineer)
Publication, Distribution, etc.: Cham, Switzerland : Springer (出版)
Publication Date: [2022]
Publication Date (W3CDTF): 2022
Extent: xvi, 281 pages
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.
Functional programming (Computer science)
Logic programming.
DDC: 005.114
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
Note (Bibliography): Includes bibliographical references and author index.
Note (Additional Physical Form Available): Also published electronically.
Holding library: 国立国会図書館
Call No.: M17-24-12
Related Material: http://link.springer.com
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 032533395
http://id.ndl.go.jp/bib/032533395
OCLC No.: 1308487544
https://www.worldcat.org/oclc/1308487544
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215